search for books and compare prices
Miquel Bertran has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
By Miquel Bertran
See complete details on each edition (1 edition listed)

Paperback:

9783540585558 | Springer Verlag, October 12, 1994, cover price $179.00

Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : Proc
cover image for 9780387585550
By Miquel Bertran (editor), Tim Denvir, spai International Symposium of Formal Methods Europe 1994 Barcelona and Maurice Naftalin
See complete details on each edition (1 edition listed)

Paperback:

9780387585550 | Springer Verlag, November 1, 1994, cover price $118.00

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
cover image for 9783540630104
Product Description: This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.The volume presents 24 carefully selected revised full papers...read more
By Miquel Bertran and Teodor Rus (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540630104 | Springer Verlag, September 1, 1997, cover price $119.00 | About this edition: This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.

displaying 1 to 3 | at end