Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Tools and Algorithms for the Construction and Analysis of Systems

6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Language EnglishEnglish
Book Paperback
Book Tools and Algorithms for the Construction and Analysis of Systems Susanne Graf
Libristo code: 01567317
Publishers Springer, Berlin, November 1999
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algo... Full description
? points 300 b
45 232 Ft
In stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

Grand évangile de Jean - T. 6 Lorber / Book Book
common.buy 9 975 Ft
50 devinettes pour raisonner 7-9 ans Roger Rougier / Book Paperback
common.buy 3 922 Ft
Minik Fare FA ile TO / Book Paperback
common.buy 4 045 Ft
Cobble Hill Vintage Weihnachtsshopping 1000 Teile / Game/Toy Game
common.buy 7 458 Ft
Meurtres Plisnier Charles / Book Paperback
common.buy 5 192 Ft
Seligpreisungen als Weg zum Gluck Tilman Gerstner / Book Paperback
common.buy 6 777 Ft
Critique 711-712 Aux quatre vents de la Caraïbe / Book Book
common.buy 6 868 Ft
"Vous, les politiques..." Francis Mer / Book Paperback
common.buy 10 532 Ft
Mágikus numerológia Elmer Warner / Book Paperback
common.buy 2 185 Ft
Grenaa i vikingetid og middelalder Mogens M?ller / Book Hardback
common.buy 16 196 Ft
Wortdunung Manfred Friedrich Kolb / Book Paperback
common.buy 2 941 Ft
Gedanken über Goethe (Auswahl) Victor Hehn / Book Hardback
common.buy 19 561 Ft
Derecho comunitario de la inmigración Pablo Antonio Fernández Sánchez / Book Paperback
common.buy 16 210 Ft
Die Tagebücher 1. Gesammelte Werke und Tagebücher. 38/1. Abt. Bd. 28 Hayo Gerdes / Book Paperback
common.buy 10 232 Ft
Mahfuz Meric Dönük / Audio Audio CD
common.buy 6 520 Ft
Lettres Inedites Du General Belliard A Son Compatriote Et Ami Cochon de Lapparent Belliard-A-D / Book Paperback
common.buy 4 783 Ft
Bugeln mit Evian Mathias Wollweber / Book Paperback
common.buy 2 870 Ft

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Tools and Algorithms for the Construction and Analysis of Systems
Author Susanne Graf, Michael Schwartzbach
Language English
Binding Book - Paperback
Date of issue 2000
Number of pages 552
EAN 9783540672821
ISBN 3540672826
Libristo code 01567317
Publishers Springer, Berlin
Weight 741
Dimensions 155 x 233 x 29

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

You might also be interested in

Equations and Analytical Tools in Mathematical Physics Yichao Zhu / Book Paperback
common.buy 61 242 Ft
Top
Salvage the Bones Jesmyn Ward / Book Paperback
common.buy 3 955 Ft
Rose and the Lily Brother James / Book Paperback
common.buy 6 097 Ft
CBT Workbook Stephanie Fitzgerald / Book Paperback
common.buy 7 034 Ft
Regulation of Commerce Under the Federal Constitution. Thomas H Calvert / Book Paperback
common.buy 10 399 Ft
The Joy of Living: 7 Steps to Give Up Worry, Open Your Heart, and Love Your Life! Jim Koehneke Ma / Book Paperback
common.buy 4 783 Ft
Tiny House: The Definitive Manual To Tiny Houses: Home Construction, Interior Design, Tiny House Living Mason Algarotti / Book Paperback
common.buy 5 297 Ft
Jimmie Higgins Upton Sinclair / Book Paperback
common.buy 5 825 Ft
Fostering Local Entrepreneurship in a Multinational Enterprise Joe Amberg / Book Hardback
common.buy 102 039 Ft
Stoicism: A Very Short Introduction Inwood / Book Paperback
common.buy 4 212 Ft
AP Q&A Statistics Martin Sternstein / Book Paperback
common.buy 7 953 Ft
Shape of Shit to Come Alan McArthur / E-book Adobe ePub DRM
common.buy 2 204 Ft
Lonely Planet Munich, Bavaria & the Black Forest Planet Lonely / Book Paperback
common.buy 11 560 Ft
Top
Hungarians - A Thousand Years of Victory in Defeat Ann Major / Book Paperback
common.buy 7 800 Ft
Sovereign: A Handbook for Maintaining Personal Mastery in all Affairs Sylvia R Swann / Book Paperback
common.buy 4 074 Ft
Elements Of Gaelic Grammar: In Four Parts Alexander Stewart / Book Hardback
common.buy 15 425 Ft
windsor Farmes: A Glimpse Of An Old Parish, Together With The Deciphered Inscriptions From A Few Foundation Stones Of A Much Abused Th John Alden Stoughton / Book Hardback
common.buy 12 450 Ft
Golden Calf Helene Tursten / Book Paperback
common.buy 5 283 Ft
Letters of Amerigo Vespucci, and Other Documents Illustrative of his Career Clements R. Markham / Book Paperback
common.buy 13 264 Ft
Delivering Public Services Effectively S. Vivek / Book Hardback
common.buy 13 959 Ft
Critical Resistance David Couzens Hoy / Book Hardback
common.buy 16 976 Ft
Primal Wound John Firman / Book Paperback
common.buy 15 153 Ft
A SATIRICAL DIALOGUE: OR A SHARPLYE-INVE WILLIAM GODDARD / Book Paperback
common.buy 6 868 Ft
Ring and the Book, Etc. Robert Browning / Book Paperback
common.buy 10 956 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?