Marco Bernardo - Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, 3185, Band 3185)

Brand : Springer, Binding : Taschenbuch, Edition : 2004, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 304, publicationDate : 2008-06-13, authors : Marco Bernardo, Flavio Corradini, ISBN : 3540230688 ...