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 € ACS-Stelle 4.99 € Box Now 3.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 125 b
51.75 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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 24.20 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Buch Broschur
common.buy 81.93 €
Two Indian Children of Long Ago Frances Lilian Taylor / Buch Broschur
common.buy 16.30 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Buch Hardcover
common.buy 6.37 €
Nech se vést láskou Sri Chinmoy / Drucksachen Karten
common.buy 4.04 €
COLOREA TU UNICORNIO / Buch Buch
common.buy 8.60 €
451° по Фаренгейту Рэй Брэдбери / Buch Hardcover
common.buy 14.07 €
Jóvenes empresarios: apoyo y formación / Buch Broschur
common.buy 54.38 €
Servalo Raine Hawthorn / Buch Broschur
common.buy 11.94 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 21.36 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Buch Broschur
common.buy 14.47 €
Krankheiten des Magens Max Einhorn / Buch Broschur
common.buy 24.20 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Buch Broschur
common.buy 64.91 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Buch Hardcover
common.buy 83.35 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Buch Broschur
common.buy 11.74 €
Jardin Des Cultures Guyanaises Buland-F / Buch Broschur
common.buy 64.10 €
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Buch Broschur
common.buy 10.42 €
Modern Sehircilikte Rekreasyon ve Rekreasyon Liderligi Umut Davut Basoglu / Buch Broschur
common.buy 44.55 €
Al culmine della disperazione Emil M. Cioran / Buch Broschur
common.buy 28.05 €
TEHG - ZuV 2020 Lars Hoffmann / Buch Buch
common.buy 70.18 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Buch Broschur
common.buy 20.55 €
Teczka ofertowa 9002 A4 20 koszulek / Buch binding.
common.buy 3.84 €
Günstig
LAC Wanderkarte Madonie 1:50 000 / Drucksachen Karte
common.buy 7.08 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Buch Hardcover
common.buy 11.43 €

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 676.26 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-Book Adobe ePub DRM
common.buy 2.02 €
Best Fairy Tales Hans Christian Andersen / Buch Hardcover
common.buy 11.84 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Buch Broschur
common.buy 74.33 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Buch Broschur
common.buy 31.89 €
Protecting Maggie / Buch Broschur
common.buy 16.70 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Buch Broschur
common.buy 21.36 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Buch Broschur
common.buy 12.75 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Buch Broschur
common.buy 12.35 €
The New Century Standard Letter-Writer Alfred B. Chambers / Buch Broschur
common.buy 35.74 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Buch Hardcover
common.buy 59.75 €
Branding Japanese Food Katarzyna J. Cwiertka / Buch Hardcover
common.buy 85.17 €
Superpower Involvement In The Middle East Paul Marantz / E-Book Adobe ePub DRM
common.buy 54.58 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Buch Broschur
common.buy 100.67 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Buch Hardcover
common.buy 47.09 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Buch Broschur
common.buy 16.60 €
Delicious Rob Dunn / Buch Broschur
common.buy 17.51 €
Psychology Ryan Gold / Buch Broschur
common.buy 14.37 €
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.33 €
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Buch Hardcover
common.buy 236.79 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Buch Broschur
common.buy 61.27 €
Cinema of Hong Kong Poshek FuDavid Desser / Buch Broschur
common.buy 42.12 €
Women Vietnam Veterans DONNA A. LOWERY / Buch Broschur
common.buy 32.70 €
Top
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Buch Broschur
common.buy 20.75 €

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?