Your search returned 6 results.

Not what you expected? Check for suggestions

Results
1.	Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems by Axel Legay Tiziana Margaria Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
2.	Image from Amazon.com	Formal Modeling and Analysis of Timed Systems by Axel Legay Marius Bozga Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
3.	Image from Amazon.com	From Programs to Systems - The Systems Perspective in Computing by Saddek Bensalem Axel Legay Yassine Lakhnech Series: Lecture Notes in Computer Science Edition: 2014 Material type: Computer file; Format: electronic Publication details: Springer ; 2014 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
4.	Image from Amazon.com	Automated Technology for Verification and Analysis by Cyrille Artho Axel Legay Doron Peled Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
5.	Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems by Axel Legay Tiziana Margaria Series: Lecture Notes in Computer Science Edition: 1st ed. 2017 Material type: Computer file; Format: electronic Publication details: Springer ; 2017 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
6.	Image from Amazon.com	Model Checking Software by Fabrizio Biondi Axel Legay Thomas Given Wilson Series: Lecture Notes in Computer Science Edition: 2019 Material type: Computer file; Format: electronic Publication details: springer ; 2019 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)