[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Tools and Algorithms for the Construction and Analysis of Systems

Language EnglishEnglish
Book Paperback
Book Tools and Algorithms for the Construction and Analysis of Systems Marsha Chechik
Libristo code: 02937110
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2016
This book§constitutes the proceedings of the 22nd International Conference on Tools and§Algorithms f... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Alice's Nightmare in Wonderland Colouring Book Jonathan Green / Paperback
common.buy 18.40 €
Birth of Energy Cara New Daggett / Hardback
common.buy 117.52 €
Cockney in Corbiere Griffiths / Paperback
common.buy 19.90 €
Therapeutics in Cardiology Antonio Bayés de Luna / Paperback
common.buy 68.07 €
Sehbehinderung Und Soziale Kompetenz Elke Wagner / Paperback
common.buy 106.99 €
The Dragons, the Giant, the Women: A Memoir / Digital
common.buy 29.32 €

This book§constitutes the proceedings of the 22nd International Conference on Tools and§Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took§place in Eindhoven, The Netherlands, in April 2016, held as Part of the§European Joint Conferences on Theory and Practice of Software, ETAPS 2016.§§The 44 full papers presented in this volume were carefully reviewed and selected§from 175 submissions. They were organized in topical sections named: abstraction§and verification; probabilistic and stochastic systems; synthesis; tool papers;§concurrency; tool demos; languages and automata; security; optimization; and§competition on software verification - SV-COMP.§

About the book

Full name Tools and Algorithms for the Construction and Analysis of Systems
Author Marsha Chechik, Jean-François Raskin
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 961
EAN 9783662496732
ISBN 3662496739
Libristo code 02937110
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1457
Dimensions 155 x 235 x 55

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account