Hoppa till sidans huvudinnehåll

Miquel Bertran – författare

Visar alla böcker från författaren .
2 produkter
Maurice Naftalin, Tim Denvir, Miquel Bertran - FME '94: Industrial Benefit of Formal Methods, Häftad

FME '94: Industrial Benefit of Formal Methods

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

AvMaurice Naftalin,Tim Denvirm. fl.

Häftad, Engelska, 1994

1 449 kr

Skickas inom 10-15 vardagar

Miquel Bertran, Teodor Rus - Transformation-Based Reactive Systems Development, Häftad

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

AvMiquel Bertran,Teodor Rus

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar