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 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Model Checking Software

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

Sprache EnglischEnglisch
Buch Broschur
Buch Model Checking Software Bernd Fischer
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
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Nech se vést láskou Sri Chinmoy / Drucksachen Karten
common.buy 4.29 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 23.99 €
COLOREA TU UNICORNIO / Buch Buch
common.buy 8.79 €
Jóvenes empresarios: apoyo y formación / Buch Broschur
common.buy 56.79 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Buch Broschur
common.buy 15.95 €
Two Indian Children of Long Ago Frances Lilian Taylor / Buch Broschur
common.buy 16.09 €
Servalo Raine Hawthorn / Buch Broschur
common.buy 11.79 €
451° по Фаренгейту Рэй Брэдбери / Buch Hardcover
common.buy 14.69 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Buch Broschur
common.buy 67.39 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Buch Hardcover
common.buy 6.59 €
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Buch Broschur
common.buy 25.19 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Buch Broschur
common.buy 85.59 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Buch Hardcover
common.buy 86.39 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Buch Broschur
common.buy 21.29 €
MONSIEUR MARCEL ou de la communication PELAEZ / Buch Broschur
common.buy 16.49 €
Waiting for spring T01 / Buch Broschur
common.buy 11.29 €
Low Carb Diat Fur Anfanger Simone Jacobs / Buch Broschur
common.buy 20.10 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Buch Broschur
common.buy 12.90 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Buch Hardcover
common.buy 11.79 €
Günstig
LAC Wanderkarte Madonie 1:50 000 / Drucksachen Karte
common.buy 6.99 €
Jardin Des Cultures Guyanaises Buland-F / Buch Broschur
common.buy 66.99 €
Teczka ofertowa 9002 A4 20 koszulek / Buch binding.
common.buy 3.99 €
Krankheiten des Magens Max Einhorn / Buch Broschur
common.buy 26.90 €
TEHG - ZuV 2020 Lars Hoffmann / Buch Buch
common.buy 72.89 €

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

Das könnte Sie auch interessieren

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Buch Hardcover
common.buy 700.79 €
Branding Japanese Food Katarzyna J. Cwiertka / Buch Hardcover
common.buy 88.49 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Buch Broschur
common.buy 73.39 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Buch Broschur
common.buy 32.99 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Buch Broschur
common.buy 21.09 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Buch Broschur
common.buy 12.59 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Buch Broschur
common.buy 12.19 €
The New Century Standard Letter-Writer Alfred B. Chambers / Buch Broschur
common.buy 37.29 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Buch Hardcover
common.buy 58.99 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Buch Broschur
common.buy 60.49 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Buch Broschur
common.buy 99.39 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Buch Hardcover
common.buy 46.49 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Buch Broschur
common.buy 16.39 €
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs / Buch Broschur
common.buy 11.19 €
Psychology Ryan Gold / Buch Broschur
common.buy 14.79 €
Delicious Rob Dunn / Buch Broschur
common.buy 17.29 €
Superpower Involvement In The Middle East Paul Marantz / E-Book Adobe ePub DRM
common.buy 56.39 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-Book Adobe ePub DRM
common.buy 2.09 €
Protecting Maggie / Buch Broschur
common.buy 16.49 €
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Buch Hardcover
common.buy 246.49 €
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Buch Broschur
common.buy 16.89 €
Top
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Buch Broschur
common.buy 20.49 €
Analog Circuit Design Volume Three Bob Dobkin / Buch Hardcover
common.buy 106.29 €
Women Vietnam Veterans DONNA A. LOWERY / Buch Broschur
common.buy 32.29 €

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