Miquel Bertran – författare

Visar alla böcker från författaren Miquel Bertran. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   FME '94: Industrial Benefit of Formal Methods

   Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings

   Av Maurice Naftalin, Tim Denvir m. fl.

   Häftad, 1994

   1128 kr

   Lägg i varukorg

   This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports …

2. 

   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

   Av Miquel Bertran, Teodor Rus

   Häftad, 1997

   569 kr

   Lägg i varukorg

   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. Also included are two …

3. 

   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

   Av Teodor Rus, Miquel Bertran

   E-bok, 2005

   755 kr

   Lägg i varukorg

   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. Also included are two …