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
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Technology for Verification and Analysis Franck Cassez
Libristo-Code: 05338676
Verlag Springer International Publishing AG, September 2014
This book constitutes the proceedings of the 12th 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

Catalogue de Tableaux Modernes, Aquarelles, Pastels, Dessins Par Nanny Adam, Ary Scheffer / Buch Broschur
common.buy 13.19 €
Die Tote im roten Kleid Ann Cleeves / Buch Broschur
common.buy 19.00 €
Top
Zvláštny návrat Rachel Priceovej Holly Jackson / Buch Broschur
common.buy 17.79 €

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 papers presented in this volume were carefully reviewed and selected from 76 submissions.

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 Franck Cassez, Jean-Francois Raskin
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 430
EAN 9783319119359
ISBN 3319119354
Libristo-Code 05338676
Verlag Springer International Publishing AG
Gewicht 6847
Abmessungen 155 x 235 x 18

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
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
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

Fluoride in Drinking-Water K Bailey / Buch Broschur
common.buy 96.99 €
Whatever Next? Anne Glenconner / Buch Broschur
common.buy 14.69 €
Forensic Science and Legal Medicine Francesco Sessa / Buch Hardcover
common.buy 47.99 €
Catalog of 16mm Silent Motion Picture Film Library; E Inc Mogull's Camera and Film Exchange / Buch Broschur
common.buy 17.09 €
The Sunday Afternoon: Fifty-Two Brief Sermons (1871) James Baldwin Brown / Buch Broschur
common.buy 39.69 €
Aesthetics of Fraudulence in Nineteenth-Century France Scott Carpenter / Buch Broschur
common.buy 75.49 €
Genesis: An Introduction and Commentary Andrew E Steinmann / Buch Broschur
common.buy 30.79 €
Someday Is Now Olugbemisola Rhuday-Perkovich / Buch Hardcover
common.buy 15.49 €
Simple Machines Pack A of 6 RUSTAD MARTHA E H / Buch Broschur
common.buy 48.79 €
Menace J M Darhower / Buch Broschur
common.buy 15.39 €
Top
OTHER MINDS Peter Godfrey-Smith / Buch Broschur
common.buy 15.29 €
Fracture of Composite Orthotropic Plates Containing Periodic Buffer Strips Feridun Delale / Buch Broschur
common.buy 19.09 €
Adventures of Hamhocks and Henry Hazel M Mason / Buch Broschur
common.buy 8.79 €
Internet Culture David Porter / Buch Broschur
common.buy 61.59 €
Lectures on the History of Physiology Michael Foster / Buch Broschur
common.buy 50.19 €
WDM Systems and Networks Neophytos (Neo) Antoniades / Buch Broschur
common.buy 214.29 €
Life Narratives and Youth Culture Kate Douglas / Buch Hardcover
common.buy 94.09 €
Millie Marotta Journal Millie Marotta / Buch Hardcover
common.buy 11.49 €
Constructivist Psychotherapy Robert A Neimeyer / Buch Broschur
common.buy 32.39 €
Coping Successfully with Pain Neville Shone / Buch Broschur
common.buy 19.89 €
Art Isn't Easy Joanne Gordon / Buch Broschur
common.buy 19.59 €
Korean Neo-Confucianism of Yi Yulgok Young-chan Ro / Buch Broschur
common.buy 37.09 €
Prenatal Person: Ethics from Conception to Bir th Norman M. Ford / Buch Broschur
common.buy 60.49 €
Demnächst
Materials for a Historical Dictionary of New Persian Loanwords in Old Anatolian and Ottoman Turkish from the 13th to the 16th Century Marzanna Pomorska / Buch Broschur
common.buy 50.19 €

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