[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 Ed Brinksma
Libristo code: 05274687
Publishers Springer, Berlin, November 1996
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algo... 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

Gefühlte Zeit Marc Wittmann / Paperback
common.buy 13.86 €
Zweistimmige Inventionen BWV 772-786, Klavier Johann Sebastian Bach / Paperback
common.buy 10.65 €
Hotcourses London's Essential Course Guide Sep/Oct 09 / Paperback
common.buy 1.70 €
Other People's Business The Romantic Career of the Practical Miss Dale Harriet L. Smith / Paperback
common.buy 40.24 €
Experimental Studies on Guinea Pig's Eczema Nicole Hunziker / Paperback
common.buy 68.07 €
Der Verlorene Sohn Im Drama Des XVI. Jahrhunderts Spengler Franz / Paperback
common.buy 11.01 €
Robert Burns Gerard Carruthers / Paperback
common.buy 45.80 €
Erich Heintel: Gesammelte Abhandlungen / Band 3: Zur Theologie und Religionsphilosophie I Erich Heintel / Hardback
common.buy 69.58 €
Into The Nano Era Howard Huff / Paperback
common.buy 266.63 €

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

About the book

Full name Tools and Algorithms for the Construction and Analysis of Systems
Author Ed Brinksma
Language English
Binding Book - Paperback
Date of issue 1997
Number of pages 437
EAN 9783540627906
ISBN 3540627901
Libristo code 05274687
Publishers Springer, Berlin
Weight 580
Dimensions 156 x 234 x 23

Categories

Computing & Information Technology > Computer hardware > Network hardware
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