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
DPD courier 5.49 € GLS courier 10.49 €
phone Contact phoneHow to shop

Tools and Algorithms for the Construction and Analysis of Systems

10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Language EnglishEnglish
Book Paperback
Book Tools and Algorithms for the Construction and Analysis of Systems Kurt Jensen
Libristo code: 01559192
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2004
This book constitutes the refereed proceedings of the 10th International Conference on Tools and Alg... Full description
? points 249 b
102.27 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Nowy język angielski łatwo i przyjemnie samouczek A1-B2 + audio online Bulger Anthony / Book Paperback
common.buy 28.22 €
La chair et le bronze - tome 2 - Les empires de cendre Michel Peyramaure / Book Paperback
common.buy 23.80 €
Grosses Und Allgemeines Wappenbuch Maximilian Gritzner / Book Paperback
common.buy 40.68 €
Under Nevadas sol - erotisk novell Bech / Audiobook MP3
common.buy 3.61 €
Contratas y subcontratas. Paso a paso: Guía práctica sobre las contratas, subcontratas, la figura del outsourcing y el falso autónomo / Book Paperback
common.buy 22.09 €
Chakras & Selbstfürsorge Andrea Panster / Book Paperback
common.buy 13.45 €
ich föhne mir meine wimpern Sirka Elspaß / Book Hardback
common.buy 16.87 €
Agressie bij kinderen Jan Van Der Ploeg / Book Paperback
common.buy 52.54 €
Mangroven Johanna Patricia Rodríguez Estacio / Book Paperback
common.buy 35.36 €
PENSADORES ARAGONESES. HISTORIA DE LAS IDEAS FILOSOFICAS EN ARAGON AYALA MARTINEZ / Book Paperback
common.buy 40.28 €
La Telesurveillance Medicale Des Patients Tandje-S / Book Paperback
common.buy 58.26 €
Les Trois mousquetaires d'Alexandre Dumas (Fiche de lecture) Sophie Lecomte / Book Paperback
common.buy 13.45 €
Realización paso a paso de nudos y ayustes Egmont M. Friedl / Book Paperback
common.buy 25.01 €
Fullmetal Alchemist Metal Edition 03 Burkhard Höfler / Book Paperback
common.buy 16.17 €
AltNeuLand (Grossdruck) Theodor Herzl / Book Hardback
common.buy 26.51 €
Français-Tha? V?tements Dictionnaire bilingue illustré pour enfants Richard Carlson Jr / Book Paperback
common.buy 11.34 €
Neue theoretisch-praktische Anweisung zum Schachspiel Johann Allgaier / Book Paperback
common.buy 15.16 €
Coming soon
Reise Know-How Sprachführer Twi für Ghana - Wort für Wort William Nketia / Book Paperback
common.buy 9.03 €
100 Preguntas y Respuestas para trabajar como Desarrollador Android: o contratar al candidato adecuado Enrique Lopez Manas / Book Paperback
common.buy 8.73 €

This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004.The 37 revised full papers and 6 revised tool demonstration papers presented were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on theorem proving, probabilistic model checking, testing, tools, explicit state and Petri nets, scheduling, constraint solving, timed systems, case studies, software, temporal logic, abstraction, and automata techniques.

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 Kurt Jensen, Andreas Podelski
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 614
EAN 9783540212997
ISBN 354021299X
Libristo code 01559192
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1910
Dimensions 155 x 235 x 34

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 > 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

Design And Implementation of 4X2 Compressors Using New XNOR Modules Pardhu Thottempudi / Book Paperback
common.buy 35.36 €
Advancing Urban and Local Governance in Western and Transition Europe John Östh / Book Hardback
common.buy 51.33 €
The Rolling Mill Industry: A Condensed, General Description of Iron and Steel Rolling Mills and Their Products Frederick Henry Kindl / Book Paperback
common.buy 16.77 €
My Friend Freddie - English Edition Rudi Dolezal / E-book Adobe ePub DRM
common.buy 11.04 €
Ideas, Institutions, and Interests David Castle / Book Paperback
common.buy 37.67 €
The Light That Lighteth Every Man: Sermons (1889) Alexander Russell / Book Paperback
common.buy 35.16 €
Eighteen Hundred and Thirteen a Poem Anne Grant / Book Paperback
common.buy 21.59 €
Tales for Fifteen or Imagination and Heart James Fenimore Cooper / Book Hardback
common.buy 37.06 €
In the beginning: A play in three unique acts Tom Spence / Book Paperback
common.buy 7.73 €
Read and Play the Dhol Drum MODULE 1: Basic Sounds & Traditional Punjabi Rhythms Kuljit Bhamra / Book Paperback
common.buy 11.04 €
Miss Silver Comes to Stay Patricia Wentworth / Book Paperback
common.buy 18.28 €
In Fact: Poems John Ciardi / Book Hardback
common.buy 38.07 €
Comparative Safety of the Transport of High-Level Radioactive Materialson Dedicated, Key, and Regular Trains U S Department of Transportation / Book Paperback
common.buy 15.97 €
Bringing Down Walls Lakeisha Burrell / Book Paperback
common.buy 19.68 €
Swimming Ace McCloud / Book Paperback
common.buy 14.56 €
Clinical Manual of Pain Management in Psychiatry Raphael J. Leo / Book Paperback
common.buy 76.95 €
Exploring English Grammar Sarah North / Book Hardback
common.buy 249.46 €
White Settler Reserve Ryan Eyford / Book Paperback
common.buy 34.55 €
Programming and Scheduling Techniques Adam S. Zantis / Book Hardback
common.buy 298.29 €
Gothic Sculpture in America III Joan A. Holladay / Book Hardback
common.buy 115.03 €
The Dance of Intimacy: love, loss and longing through poetry Linda Wall / Book Paperback
common.buy 15.97 €

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?