Eruditor.com > Wang Yi

Wang Yi

Pettersson P.:
Formal Modeling and Analysis of Timed Systems

Third International Conference, Formats 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
Lecture Notes In Computer Science
Editor: Paul Pettersson, Editor: Wang Yi
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2005
Quality paperback, 320 pages

Our price: £35.99
List price: £53.99
You save: 25%

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Margaria Tiziana:
Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, Tacas 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings
Lecture Notes In Computer Science,
Editor: Tiziana Margaria, Editor: Wang Yi
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2001
Quality paperback, 608 pages

Our price: £57.38
List price: £90.00
You save: 25%

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 
© 2006-2012 Eruditor Ltd and its partners

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |