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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Tools and Algorithms for the Construction and Analysis of Systems

8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Language EnglishEnglish
Book Paperback
Book Tools and Algorithms for the Construction and Analysis of Systems Joost-Pieter Katoen
Libristo code: 01564200
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2002
This book constitutes the refereed proceedings of the 8th International Conference on Tools and Algo... Full description
? points 132 b
53.86 €
105.34  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

EL GRUFALO.MINICUENTO DONALDSON / Book Hardback
common.buy 14.43 € 28.23 лв
Weimar bilingual Franz Fischer / Book Paperback
common.buy 16.99 € 33.24 лв
Los ranchos de Gessa CARAMES NUÑEZ / Book Paperback
common.buy 24.27 € 47.46 лв
Atlas des Amphibiens de Guyane FOUQUET / Book Hardback
common.buy 66.61 € 130.28 лв
LE JOURNAL D AURORE T1 BD-JAMAIS CONTENTE TOUJOURS FACHEE Desplechin / Book Paperback
common.buy 20.12 € 39.35 лв
Les Débuts d'un écrivain Welty / Book Book
common.buy 17.46 € 34.14 лв
Sorular ve Cevaplar Isiginda Tasavvufun Islamdaki Yeri Esref Yilmaz / Book Paperback
common.buy 11.67 € 22.83 лв
Dares Phrygius und Benoit de Saintre-More Rudolf Jäckel / Book Hardback
common.buy 30.88 € 60.40 лв
Die 30 Besten Kinderlieder (DVD) Simone Sommerland / Video DVD
common.buy 17.51 € 34.24 лв
Neutralidad y teoría del derecho Josep-Joan Moreso / Book Paperback
common.buy 64.92 € 126.97 лв
Aids no envelhecimento Gicélia Lombardo Pereira / Book Paperback
common.buy 145.36 € 284.30 лв
Cria de vaquillas de reemplazo en sistemas de leche en pequena escala Anastacio García Martínez / Book Paperback
common.buy 145.36 € 284.30 лв
Digitale Musikvervielfaltigung als abweichendes Verhalten - Zur Ambivalenz zwischen gemeinschaftlich-gesellschaftlichen und juristischen Normen Eric Placzeck / Book Paperback
common.buy 44.87 € 87.75 лв

This book constitutes the refereed proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, held in Grenoble, France, in April 2002.The 29 revised full papers presented together with one invited paper and four tool papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on real-time and probabilistic systems, scheduling, miscellaneous, software verification, infinite-state and parametric systems, model checking: logics and algorithms, model checking and testing, partial-order and simulation techniques, and debugging with model checking.

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 Joost-Pieter Katoen, Perdita Stevens
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 486
EAN 9783540434191
ISBN 3540434194
Libristo code 01564200
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1530
Dimensions 155 x 235 x 27

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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Medicine & Nursing > Medicine: general issues
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

My New Pet: Rabbit Jinny Johnson / Book Hardback
common.buy 13.21 € 25.84 лв
D&d Forgotten Realms Laeral Silverhand's Explorer's Kit Wizards RPG Team / Book Paperback
common.buy 27.59 € 53.97 лв
Black Rose: A Rock Legend Thin Lizzy / Audio Audio vinyl
common.buy 33.84 € 66.19 лв
Handbook to the Cathedrals of Wales Richard John King / Book Paperback
common.buy 29.03 € 56.77 лв
Inaugural Dissertation on Opium; Submitted to the Examination of the Rev. William Smith, S.T.P. Provost; and to the Trustees and Medical Professors of HAST HANDY / Book Hardback
common.buy 26.62 € 52.07 лв
Tapping That Asset LONDON HALE / Book Paperback
common.buy 8.34 € 16.31 лв
Imaging of the Cervical Spine in Children Leonard E. Swischuk / Book Paperback
common.buy 105.32 € 205.99 лв
Kardoo: The Hindoo Girl Harriette G Brittan / Book Paperback
common.buy 27.60 € 53.99 лв
Lost World David Robb / Audiobook MP3
common.buy 4.40 € 8.61 лв
Teaching and Language Corpora Anne Wichmann / Book Hardback
common.buy 289.29 € 565.81 лв
What Was the Indian Removal Act? | Indian Tribes of America Grade 5 | Children's Government Books Universal Politics / Book Paperback
common.buy 14.90 € 29.13 лв
Psycho-Analytic Notes on an Autobiographical Account of a Case of Paranoia (Dementia Paranoides) Sigmund Freud / Book Paperback
common.buy 20.32 € 39.75 лв
The Psalter Of The Blessed Virgin (1852) St. Bonaventure / Book Hardback
common.buy 36.01 € 70.42 лв
American Bodies: Cultural Histories of the Physique Tim Armstrong / Book Hardback
common.buy 119.86 € 234.43 лв
To the Lover of My Soul Novelette Thomas / Book Paperback
common.buy 11.41 € 22.32 лв
Hearts Courageous Hallie Erminie Rives / Book Paperback
common.buy 34.11 € 66.71 лв
Strategic Networking in Small High Tech Firms Mette Monsted / Book Paperback
common.buy 37.07 € 72.50 лв
Pagan Portals - Fairy Witchcraft - A Neopagan`s Guide to the Celtic Fairy Faith Morgan Daimler / Book Paperback
common.buy 12.80 € 25.03 лв
Poetry and its Contexts in Eleventh-century Byzantium Kristoffel Demoen / Book Hardback
common.buy 241.98 € 473.28 лв
Mau Mau and the Kikuyu LEAKEY / Book Paperback
common.buy 77.57 € 151.71 лв

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?