Sell, buy or rent Yassine Lakhnech textbooks

9780521806084-0521806089-Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
9780521806084-0521806089-Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
ISBN-13: 9780521806084
ISBN-10: 0521806089
Edition: 1
Publication date: 2001
Publisher: Cambridge University Press
Format: Hardcover 800 pages
Sell Shop now at Amazon
9783540231677-3540231676-Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... (Lecture Notes in Computer Science, 3253)
9783540231677-3540231676-Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... (Lecture Notes in Computer Science, 3253)

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of ... (Lecture Notes in Computer Science, 3253)

by Yassine Lakhnech, Sergio Yovine
ISBN-13: 9783540231677
ISBN-10: 3540231676
Edition: 2004
Publisher: Springer
Format: Paperback 412 pages
Sell Shop now at Amazon
9783211832820-3211832823-Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
9783211832820-3211832823-Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)

by Rudolf Berghammer, Yassine Lakhnech
ISBN-13: 9783211832820
ISBN-10: 3211832823
Edition: Softcover reprint of the original 1st ed. 1999
Publication date: 1999
Publisher: Springer
Format: Paperback 241 pages
Sell Shop now at Amazon eBook from $16.50
9780521169325-0521169321-Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
9780521169325-0521169321-Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
ISBN-13: 9780521169325
ISBN-10: 0521169321
Edition: 1
Publication date: 2012
Publisher: Cambridge University Press
Format: Paperback 800 pages
Sell Buy from $84.57
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.