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

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Model Checking Software Dragan Bosnacki
Libristo-Code: 02961433
Verlag Springer International Publishing AG, April 2016
This book§constitutes the refereed proceedings of the 23rd 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

Agility Kompakt Peter Hruschka / Buch Broschur
common.buy 22.99 €
Ositos de peluche adorables libro para colorear 2 Nick Snels / Buch Broschur
common.buy 10.69 €
Match Jones Bolt / Buch Hardcover
common.buy 30.19 €
Camiño de paz S.A. DE XESTION DO PLAN XACOBEO / Buch Broschur
common.buy 13.69 €
Les Breves de Fin du Monde Noyé / Buch Broschur
common.buy 9.69 €
Destruidor - Parte Nove Sky Corgan / E-Book Adobe ePub DRM
common.buy 0.99 €
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Buch Broschur
common.buy 40.99 €
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Buch Broschur
common.buy 21.89 €
LEGO® City Joyeux Noël AMEET Studio / Buch Buch
common.buy 12.29 €
Postkarten-Set George Barbier George Barbier / Buch Broschur
common.buy 5.79 €
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Buch Broschur
common.buy 13.19 €
Legendes de Noel M G Lenotre / Buch Broschur
common.buy 19.29 €
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Buch Broschur
common.buy 6.49 €
Ajeduca 4. Escobar Domínguez / Buch Broschur
common.buy 13.89 €
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo Francisco García Novell / Buch Broschur
common.buy 34.09 €
CUARTO MOSQUETERO, EL Riccardo Freda / Buch Broschur
common.buy 12.39 €
Moutons Et Colons En Patagonie Fernando Coronato / Buch Broschur
common.buy 98.59 €
Ursprachlehre Friedrich Schmitthenner / Buch Hardcover
common.buy 106.89 €
Psychologische Typen Carl G. Jung / Buch Broschur
common.buy 67.00 €
François Truffaut Robert Ingram / Buch Hardcover
common.buy 15.39 €

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

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 Dragan Bosnacki, Anton Wijs
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 245
EAN 9783319325811
ISBN 3319325817
Libristo-Code 02961433
Verlag Springer International Publishing AG
Gewicht 4044
Abmessungen 155 x 235 x 235

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

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Buch Hardcover
common.buy 107.29 €
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Buch Broschur
common.buy 13.39 €
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Buch Broschur
common.buy 8.89 €
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Buch Broschur
common.buy 16.29 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Buch Broschur
common.buy 16.39 €
The Darkest King: William's Story Gena Showalter / Buch Broschur
common.buy 9.19 €
Shadow Lost D K Holmberg / Buch Broschur
common.buy 13.59 €
Performances of Injustice Gabrielle (University of Warwick) Lynch / Buch Hardcover
common.buy 77.09 €
Missouri Birds James Kavanagh / Buch Broschur
common.buy 9.09 €
Top
The Architect's Apprentice Elif Shafak / Buch Broschur
common.buy 14.99 €
Modern Feminist Theory Jennifer Rich / Buch Broschur
common.buy 16.09 €
Alcoholism Ernest Holmes / Buch Broschur
common.buy 9.59 €
The Cheyenne Pool Lewis B Patten / Buch Hardcover
common.buy 40.69 €
Mediterranean Ecosystems G. Spezie / Buch Broschur
common.buy 214.29 €
Roman Catholic Modernists Confront the Great War C. Talar / Buch Hardcover
common.buy 60.39 €
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Buch Hardcover
common.buy 37.69 €
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Buch Broschur
common.buy 15.39 €
Bears Don't Read! Emma Chichester Clark / Buch Hardcover
common.buy 15.49 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Buch Hardcover
common.buy 138.99 €
Top Neu
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Buch Hardcover
common.buy 38.99 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Buch Broschur
common.buy 107.29 €
Wiel Arets - Bas Princen John Bezold / Buch Hardcover
common.buy 96.49 €

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?