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

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Technology for Verification and Analysis Bernd Finkbeiner
Libristo-Code: 09524362
Verlag Springer International Publishing AG, November 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

En busca del candidato de Manchuria Marks / Buch Broschur
common.buy 27.69 €
Nyx el Regulador 3, Ofidia Corbeyran / Buch Broschur
common.buy 21.49 €
Avaliacao dos Impactos Ambientais do Processo de Extracao de Argila Gustavo Francesco de Morais Dias / Buch Broschur
common.buy 37.29 €
Lehrbuch des deutschen Verwaltungsrechtes. Georg Meyer / Buch Broschur
common.buy 149.90 €
Meyveler - Sebzeler - Besinler Türkce - Ingilizce / Buch Broschur
common.buy 20.99 €
Tajomstvo reči tela Monika Stehlíková / Buch Hardcover
common.buy 20.99 €
Passages de l'image Buch Buch
common.buy 46.79 €
Le cardinal Joseph Fesch, archevêque de Lyon - nouvelles études Buch Broschur
common.buy 27.39 €
Top
Manolito Gafotas Elvira Lindo / Buch Broschur
common.buy 6.89 €
Katzen verstehen und erziehen Meine Katze furs Leben Ratgeber / E-Book Adobe ePub DRM
common.buy 6.89 €

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.§§The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.§

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 Automated Technology for Verification and Analysis
Autor Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 520
EAN 9783319249520
ISBN 3319249525
Libristo-Code 09524362
Verlag Springer International Publishing AG
Gewicht 8015
Abmessungen 155 x 235 x 30

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
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 > Theoretische Informatik
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

Frontiers of Combining Systems Carsten Lutz / Buch Broschur
common.buy 53.79 €
Organic Fertilizers Ghazala Yaqub / Buch Hardcover
common.buy 200.09 €
Becoming a Great Inclusive Educator Scot Danforth / Buch Broschur
common.buy 46.09 €
Contemporary Legend Gillian Bennett / Buch Broschur
common.buy 75.49 €
Ladybird: of Love and Honor Samantha Livingston / Buch Hardcover
common.buy 35.79 €
Theorizing Globalization Marko Ampuja / Buch Hardcover
common.buy 259.09 €
Eloise at the Wedding Margaret McNamara / Buch Hardcover
common.buy 14.99 €
Rethinking Hell Christopher M. Date / Buch Hardcover
common.buy 56.69 €
Letter to the Right Honourable Charles Jenkinson John Almon / Buch Broschur
common.buy 12.29 €
In the Rocky Mountains: A Tale of Adventure W H G Kingston / Buch Broschur
common.buy 36.69 €
Little Blue Truck Leads the Way Alice Schertle / Buch Hardcover
common.buy 16.49 €
New and Experimental Approaches to Writing Lives Hugh Craig / Buch Hardcover
common.buy 131.89 €
The Divine Comedy of Dante Alighieri James Innes Minchin / Buch Broschur
common.buy 29.89 €
Beekeeping for Beginners: How to Raise Your First Bee Colonies Amber Bradshaw / Buch Broschur
common.buy 16.49 €
Forced Conversion Donald J Bingle / Buch Broschur
common.buy 15.39 €
Advanced Python Development Matthew Wilkes / Buch Broschur
common.buy 43.59 €
Cones Visit the Children's Hospital Chris Madeley / Buch Broschur
common.buy 14.19 €
The Sacred Interpreter V1: Or, a Practical Introduction Towards a Beneficial Reading and a Thorough Understanding of the Holy Bible David Collyer / Buch Broschur
common.buy 39.69 €
China from a U.S. Policy Perspective Heikkila / Buch Broschur
common.buy 63.69 €
History of Creole Trinidad, 1956-2010 Raymond Ramcharitar / Buch Hardcover
common.buy 154.79 €
Bird Populations Ian Newton / E-Book Adobe ePub DRM
common.buy 58.39 €
Literary Channel Margaret Cohen / E-Book Adobe ePub DRM
common.buy 56.89 €
Demnächst
AMERICAN FOOTBALL CARDS 1888-1988 Arne Flaten / Buch Hardcover
common.buy 58.99 €
Geometrical Pictures In Hadronic Collisions: A Reprint Volume S. Y. Lo / Buch Broschur
common.buy 119.49 €

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?