Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Technology for Verification and Analysis

Deepak D'Souza

K. Narayan Kumar

Sprache

Englisch

Buch Broschur

Libristo-Code: 18124989

Verlag Springer International Publishing AG, Oktober 2017

This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec... Vollständige Beschreibung

Libristo-Code: 18124989

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Callia l'Ateniese Giovanni Marginesu

Hardcover

70.19 €

Foukni a rozsviť - Hurá, sněží! Maria Hoeck

Leporello

14.89 €

Heartburn Ursula Ga?l

Broschur

13.00 €

LA PIEGE - THE TRAP ICKE DAVID

Buch

29.59 €

parfum des iles Borromees René Boylesve

Hardcover

23.39 €

Genetika pri neprawil'nom prikuse Punit Batra

Broschur

33.49 €

Aaltje Nieuw Nederlandsch Kookboek: Achtfiende Geheel Opnieuw Bewerkte Druk Van aaltje De Volmaakte En Zuinige Keukenmeid.... O. A. Corver

Hardcover

32.79 €

Colores MARTIN MARTINEZ

Hardcover

4.29 €

Možnosť ostrova Michel Houellebecq

Hardcover

17.29 €

Marin Perdu En Mer Jouanneau

Broschur

19.19 €

UE1 - Physiologie Gay-Queheillard

Broschur

19.49 €

Voytek Kurtyka - L'Art de la liberté Bernadette Mcdonald

Hardcover

68.99 €

PIXEL MATHS TERM S OBLIG PROF Jean-Pierre Bouvier

Broschur

27.49 €

Tchisso ou le révolté Ngako sebastien

Broschur

14.69 €

vagabundito Maira Leticia Rivera Pinto

Broschur

8.89 €

Sicilia Nel 1876 ... Libro Primo. (L. F. Condizioni Politiche E Amministrative. Libro Secondo. S. Sonnino. I Contadini.). Leopoldo Franchetti

Broschur

27.89 €

Die Prüfung elektrischer Maschinen Werner Nürnberg

Broschur

426.93 €

This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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 Deepak D'Souza, K. Narayan Kumar

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2017

Anzahl der Seiten 482

EAN 9783319681665

ISBN 3319681664

Libristo-Code 18124989

Verlag Springer International Publishing AG

Gewicht 7548

Abmessungen 155 x 235 x 30

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation

EDV und Informationstechnologie > Informatik

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