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 :-(

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

María del Mar Gallardo

Pedro Merino

Sprache

Englisch

Buch Broschur

Libristo-Code: 19534895

Verlag Springer International Publishing AG, Juni 2018

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Vollständige Beschreibung

Libristo-Code: 19534895

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

Broschur

46.59 €

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Buch

Broschur

26.69 €

Elaboración de vinos espumosos y cavas Madrid Vicente

Broschur

34.49 €

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

Broschur

13.79 €

Guida al cinema noir Stefano Di Marino

Broschur

35.19 €

Rüyalar ve Uyanislar Defteri Latife Tekin

Broschur

14.69 €

Křížovky pro seniory - Výlety po Česku neuvedeno

Broschur

4.19 €

naanallada naanu s.g.shivashankar

Broschur

16.19 €

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

Broschur

37.29 €

Gesammelte Werke Ernst Von Wildenbruch

Broschur

64.90 €

Das Erbe Martin Wieland

Broschur

22.90 €

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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 Model Checking Software

Autor María del Mar Gallardo, Pedro Merino

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2018

Anzahl der Seiten 347

EAN 9783319941103

ISBN 3319941100

Libristo-Code 19534895

Verlag Springer International Publishing AG

Gewicht 557

Abmessungen 155 x 235 x 20

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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 > Computermodellierung und -simulation

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