Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software . Lectures (Lecture Notes in Computer Science)

Bernardo, Marco [Editor]; Corradini, Flavio [Editor];

ISBN 10: 3540230688 ISBN 13: 9783540230687
Published by Springer, 2004
Language: English
Condition: Used - Very good Soft cover

Sold by GuthrieBooks, Spring Branch, TX, U.S.A.

AbeBooks Seller since 1 February 2007

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Soft cover

Condition: Used - Very good

Price: £ 10.96 Convert Currency
£ 5.23 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket