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 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Automated Technology for Verification and Analysis Cyrille Artho
Libristo-Code: 13938039
Verlag Springer International Publishing AG, September 2016
This book constitutes the proceedings of the 14th International Symposium on Automated Technology fo... Vollständige Beschreibung
? points 125 b
51.53 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Natya Shala / Buch Broschur
common.buy 17.24 €
The Boy From Nowhere Grigi Valandy / Buch Broschur
common.buy 17.94 €
Standard contre standards Gabrielle Beguin / Buch Broschur
common.buy 26.32 €
»Tarifbindung« durch betriebliche Übung. Charlotte Jaekel / Buch Broschur
common.buy 105.70 €
Derrière l'écran K.L. Blackmoore / Buch Broschur
common.buy 13.10 €
Churpfalzbaierisches Regierungsblatt Anonym / Buch Broschur
common.buy 23.59 €
Rochefiere: Etudes Humaines Monteil-E / Buch Broschur
common.buy 26.32 €
Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt / Buch Broschur
common.buy 16.13 €
La gestión de eventos y productos turísticos INMACULADA OCAÑA / Buch Broschur
common.buy 46.29 €
Gastronomie et cuisine valencienne : Castellón, Valence et Alicante ALEU Oriol / Buch Broschur
common.buy 12.09 €
Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET / Buch Broschur
common.buy 16.33 €
Baukosten Senken Ernst G. Brehmer / Buch Broschur
common.buy 61.11 €

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.

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 Cyrille Artho, Axel Legay, Doron Peled
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 530
EAN 9783319465197
ISBN 3319465198
Libristo-Code 13938039
Verlag Springer International Publishing AG
Gewicht 8132
Abmessungen 155 x 235 x 31

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

Reassessing Foucault Colin Jones / Buch Broschur
common.buy 67.47 €
Treatise of Beneficiary Matters PAOLO SARPI / Buch Hardcover
common.buy 36.10 €
Milarepa and the Art of Discipleship I Sangharakshita / Buch Hardcover
common.buy 31.56 €
John Deere 6351T AR65349 Turbocharger Rebuild Guide and Shop Manual: Garrett Honeywell T04B26 409760-0001, 409760-9001, 409760-5001, 409760-1 Turbocha Brian Smothers / Buch Broschur
common.buy 34.38 €
My Baby Girls First Yearbook Dru L Murray / Buch Broschur
common.buy 11.59 €
DreamWork Kelly Wallace / Buch Broschur
common.buy 10.38 €
Call Diana Sautelle / Buch Broschur
common.buy 26.62 €
Degradation of plastics waste and its effects on environmental aspects Subhashish Dey / Buch Broschur
common.buy 39.13 €
ONE EARTH SPINELLI EILEEN / Buch Hardcover
common.buy 8.16 €
Right Angle Club Annual Report 2011 M. D. George Ross Fisher / Buch Broschur
common.buy 15.52 €
Nature of Music: Beauty, Sound and Healing Maureen McCarthy Draper / Buch Broschur
common.buy 24.00 €
Sun-Worship And Well-Worship (Folklore History Series) James M. Mackinlay / Buch Broschur
common.buy 18.25 €
The Eye of the Virgin Frederick Ramsay / Buch Broschur
common.buy 17.54 €

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?