AKTUELLE PARTNERANGEBOTE

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Name: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Brand: Jones, Cliff B.
SKU: 8952746

Binding : Taschenbuch, Edition : 2007, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 560, publicationDate : 2007-09-06, publishers : Jones, Cliff B., languages : english, ISBN : 354075220X

1 Angebote · ab 53,49 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)