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

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

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer International Publishing AG
SKU: 09486332
Price: 51.09 EUR
Availability: InStock
Author: Bernd Fischer
ISBN: 9783319234038

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Bernd Fischer

Jaco Geldenhuys

Sprache

Englisch

Buch Broschur

Libristo-Code: 09486332

Verlag Springer International Publishing AG, August 2015

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

Libristo-Code: 09486332

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Liliencrons Gedichte Detlev von Liliencron

Hardcover

34.90 €

Servalo Raine Hawthorn

Broschur

10.99 €

Zwillingsbrut Lisa Jackson

Broschur

19.99 €

Nech se vést láskou Sri Chinmoy

Karten

3.89 €

Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger

Broschur

15.95 €

451° по Фаренгейту Рэй Брэдбери

Hardcover

14.69 €

Alta Via delle Dolomiti n. 1. Il più classico dei grandi itinerari dolomitici. Lago di Braies - Belluno

Broschur

24.90 €

Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT

Hardcover

5.19 €

Jóvenes empresarios: apoyo y formación

Broschur

53.71 €

Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele

Broschur

20.39 €

Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez

Broschur

60.49 €

Therapie-Tools Therapeutisches Schreiben Dana Martinschledde

binding.

45.00 €

Two Indian Children of Long Ago Frances Lilian Taylor

Broschur

14.79 €

Jardin Des Cultures Guyanaises Buland-F

Broschur

63.29 €

Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi Umut Davut Basoglu

Broschur

175.29 €

TEHG - ZuV 2020 Lars Hoffmann

Buch

69.90 €

Espacio Joven 360: Level B1.2: Exercises Book Equipo Espacio

Broschur

11.19 €

Teczka ofertowa 9002 A4 20 koszulek

binding.

3.89 €

Kritická reflexe demokracie a občanské společnosti Martin Šimsa

Broschur

10.49 €

LAC Wanderkarte Madonie 1:50 000

Karte

4.39 €

DUSK MAIDEN OF AMNESIA 4 MAYBE

Hardcover

10.09 €

Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij

Hardcover

85.00 €

Natura e Facolta della Mente Roberto Bani

Broschur

9.09 €

Le Style: Théorie et histoire Ernest Hello

Hardcover

31.49 €

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

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 Bernd Fischer, Jaco Geldenhuys

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 319

EAN 9783319234038

ISBN 331923403X

Libristo-Code 09486332

Verlag Springer International Publishing AG

Gewicht 5153

Abmessungen 155 x 235 x 20

Kategorie

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