Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Tools and Algorithms for the Construction and Analysis of Systems Parosh Aziz Abdulla
Libristo-Code: 01657596
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2011
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Alg... Vollständige Beschreibung
? points 146 b
59.59 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 9-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

KANTATE 161 KOMM, DU SUSSE JOHANN SEBASTIAN BAC Buch binding.
common.buy 4.49 €
Las 50 maravillas naturales de Euskal Herria Yaniz Aramendia / Buch Broschur
common.buy 38.49 €
Konunga-sagor Snorri Sturluson / Buch Hardcover
common.buy 38.79 €
Die Magie der Akasha Chronik - Das Orakel - 40 Orakelkarten und 160-seitiges Booklet Marielle Enders / Buch Broschur
common.buy 24.19 €
Oldnorsk L?sebog: Med Tilhörende Glossarium... Carl Rikard Unger / Buch Broschur
common.buy 21.59 €
Diagnostika i uprawlenie otkrytym prikusom w klinicheskoj ortodontii Kranti Tatikonda / Buch Broschur
common.buy 26.99 €
En Parvaiyil Udhayamana Kavithai / என் பார்வையில் உதய& Kannan M / Buch Broschur
common.buy 14.89 €
VACACIONES CON POCOYO 3 AÑOS ZINKIA / Buch Buch
common.buy 11.09 €
Ce qu'il y a de meilleur en nous Dejours / Buch Broschur
common.buy 10.29 €
Die direkte Besteuerung in der EU Koen Lenaerts / Buch Broschur
common.buy 47.49 €
Der kleine Ritter Trenk und der ganz gemeine Zahnwurm Kirsten Boie / Buch Hardcover
common.buy 13.00 €
Histaminarm kochen - vegetarisch Nadja Schäfers / Buch Hardcover
common.buy 20.19 €
Die Deutung von Kinderzeichnungen Joseph H. DiLeo / Buch Broschur
common.buy 26.00 €
Labyrinthe Postmoderne Samih El Guelta / Buch Broschur
common.buy 29.79 €
Dictionnaire Chronologique Et Raisonne Des Decouvertes, Inventions. XIV. Pol-Sci Sans Auteur / Buch Broschur
common.buy 37.59 €
Un Mot Sur l'Importante Question de l'Augmentation Du Capital Nominal Sans Auteur / Buch Broschur
common.buy 13.09 €
Bes Sevgi Dili Gary Chapman / Buch Broschur
common.buy 12.69 €
DYSPOSITIFS ! D'OSIA/ALVA / Buch Broschur
common.buy 19.59 €
La sinfonía del tiempo Álvaro Arbina / Buch Broschur
common.buy 16.99 €
Beate Uhse Katrin Rönicke / Buch Hardcover
common.buy 22.00 €
Java: Geographisch, Ethnologisch, Historisch, Volume 2 Pieter Johannes Veth / Buch Broschur
common.buy 33.99 €
Top
Kaizen Japonská metoda postupné změny návyků Sarah Harvey / Buch Hardcover
common.buy 13.59 €
Finis Germania Rolf Peter Sieferle / Buch Hardcover
common.buy 7.69 €
Des Diverses Methodes d'Exploration de la Poitrine Et de Leur Application COLLIN-V / Buch Broschur
common.buy 16.79 €

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26 April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. §The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Tools and Algorithms for the Construction and Analysis of Systems
Autor Parosh Aziz Abdulla, K.Rustan M. Leino
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2011
Anzahl der Seiten 394
EAN 9783642198342
ISBN 3642198341
Libristo-Code 01657596
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 612
Abmessungen 155 x 235 x 25

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Jordy the Jaguar Meryl D Day / Buch Broschur
common.buy 14.99 €
Demand for Rental Housing Friedman / Buch Broschur
common.buy 31.89 €
Rodeo Stories Chimp Robertson / Buch Broschur
common.buy 19.89 €
Social Media, Parties, and Political Inequalities Kristof Jacobs / Buch Hardcover
common.buy 55.49 €
Sola: Christ, Grace, Faith, and Scripture Alone in Martin Luther's Theology Volker Leppin / Buch Broschur
common.buy 34.09 €
The Phantom Of The Opera Gaston Leroux / Buch Broschur
common.buy 17.99 €
Pregnant by your husband's boyfriend Linette King / Buch Broschur
common.buy 11.39 €
The use of ironic understatement in "Beowulf" Marc Walsh / Buch Broschur
common.buy 14.30 €
Introduction to the History of Religion F. B. (Frank Byron) Jevons / Buch Broschur
common.buy 29.89 €
A Selection of Cases on the Law of Carriers. Joseph Henry Beale / Buch Broschur
common.buy 22.59 €
The History of the Inquisition Philip a Limborch / Buch Broschur
common.buy 41.39 €
Way Down Back: A Journey Into Hospice Country Caroline S MacDonald / Buch Broschur
common.buy 13.19 €
Multi-Professional Learning for Nurses Sally Glen / Buch Broschur
common.buy 56.49 €
Stress Wisely: How to Be Well in an Unwell World Hanley-Dafoe / Buch Hardcover
common.buy 21.49 €
Russian Dwarf Hamster. Russian Dwarf Hamsters as pets.. Russian Dwarf Hamster book including care, pros and cons, housing, cost, diet and health. Macy Peterson / Buch Broschur
common.buy 12.29 €
White Reconstruction Dylan Rodríguez / Buch Broschur
common.buy 34.59 €
Language, Power, and Resistance Mathews Elizabeth S. Mathews / E-Book Adobe ePub DRM
common.buy 45.61 €
Commemorative Addresses: George William Curtis, Edwin Booth, Louis Kossuth, John James Audubon, William Cullen Bryant (1894) Parke Godwin / Buch Hardcover
common.buy 43.69 €
How to Draw People for Kids Tony R. Smith / Buch Broschur
common.buy 15.29 €
American Presidents, Deportations, and Human Rights Violations Bill Ong Hing / E-Book Adobe ePub DRM
common.buy 31.90 €
Billboard (February 1906); 18 The Billboard Publishing Co / Buch Hardcover
common.buy 32.09 €
Aldo Leopold and the Ecological Conscience Richard L. Knight / Buch Broschur
common.buy 49.69 €
All The Devils Are Here Paul Finch / Buch Hardcover
common.buy 27.79 €
Intuitive Sources of Probabilistic Thinking in Children H. Fischbein / Buch Hardcover
common.buy 53.79 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?