Cărți de Miquel Bertran

Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1231

Editat de Miquel Bertran et al.

7 mai 1997

Preț: 339^.99 lei 424^.99 lei

6-8 săpt.

-20%

FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

Lecture Notes in Computer Science, nr. 873

Editat de Maurice Naftalin et al.

12 oct 1994

Preț: 667^.57 lei 834^.46 lei

6-8 săpt.

-20%