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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562615
Price: 51.09 EUR
Availability: InStock
Author: Thomas Ball
ISBN: 9783540401179

10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings

Thomas Ball

Sriram K. Rajamani

Sprache

Englisch

Buch Broschur

Libristo-Code: 01562615

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2003

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Mode... Vollständige Beschreibung

Libristo-Code: 01562615

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Lebensbilder I Honoré de Balzac

Hardcover

29.90 €

Harry Potter 3: Harry Potter a väzeň z Azkabanu, 6., revidované vydanie (farebná oriezka) Joanne K. Rowling

Hardcover

18.39 €

LA MAGIA DE LA COMUNICACION SAENZ DE URTURI

Broschur

24.29 €

Analyse économique Inna Bova

Broschur

31.69 €

Dom na azúrovom pobreží TJ Klune

Broschur

15.29 €

¡SIN PASAPORTE! BARGOS CUCO

Hardcover

18.99 €

AERONAUTIQUE NAVALE EN ALGERIE (1954-1962) ROBIN

Hardcover

43.99 €

Joe Kennedy - Le pouvoir et la malédiction Georges Ayache

Broschur

23.69 €

Mensch sein, Mensch bleiben, Mensch verstehen! Mikel Marz

Broschur

16.95 €

Blick auf den Topkapi Palast (Puzzle) Rico Ködder

Spiel

33.99 €

Sozialpolitisches Handbuch Heinrich Lux

Broschur

39.90 €

Kinderwagen- & Tragetouren um und in München Elisabeth Göllner-Kampel

Broschur

15.90 €

Diffusion Imprim e de la Chanson Fran aise En Italie Au Xvie Si cle Tome II Marinella Laini

Broschur

78.29 €

Cicerone Jacob Burckhardt

Broschur

39.50 €

N'Oublie Pas Mes Petits Souliers Joseph Connolly

Broschur

9.19 €

Miguel Ángel : escultor, pintor y arquitecto Károly Tolnay

Broschur

53.29 €

Made in America: Mi Historia Sam Walton

Broschur

11.39 €

Impertinentes: El desgarro de pensar Fullat i Genís

Broschur

31.29 €

Lucerna 19. května 1978 Švehlík & Amalgam

Audio CD

6.49 €

This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.§The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

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 Thomas Ball, Sriram K. Rajamani

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2003

Anzahl der Seiten 241

EAN 9783540401179

ISBN 3540401172

Libristo-Code 01562615

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 400

Abmessungen 155 x 233 x 15

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

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

EDV und Informationstechnologie > Unternehmensanwendungen

EDV und Informationstechnologie > Betriebssysteme

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

Inflation and Unemployment in a Monetary Union Michael Carlberg

Hardcover

97.89 €

Chemical Sensors Peter Gründler

Hardcover

134.89 €

Remarks on Davis Strait, Baffin Bay Smith Sound, and the Channels Thence Northward to 82 1/4 N. Compiled from Various Authorities. [A Revised Edition Anonymous

Broschur

11.39 €

7 Steps To Becoming A Successful eBay Power Seller Demarious Bowens

Broschur

7.19 €

30 Innovations of the Russian Engineer Anatoly Rozenblat

Broschur

15.59 €

Handbook On Family And Community Engagement Marilyn Murphy

Broschur

46.89 €

Teacher Guide Year 6 Collins Uk

Ring

135.39 €

Glencoe Language Arts, Grade 7

Hardcover

118.19 €

Sonnets and Epigrams on Sacred Subjects Thomas Edward Bridgett

Broschur

12.49 €

What You Should Know About Landscaping Your Garden Cindy Wright

Broschur

13.89 €

Vampires, Race, and Transnational Hollywoods HUDSON DALE

Hardcover

122.99 €

Population Change in the United States Michael E. Cline

Broschur

51.09 €

A Statement of the Facts and Circumstances Connected with the Late Trial of Dr. A.A. Muller, Late Rector of Trinity Church, Clarksville, Tenn., by Whi MULLER

Broschur

12.49 €

How to develop our personality: The best and useful ideas to develop our personality Gheorghe Cornel Ardelean

Broschur

8.89 €

Taking Flight Melinda Sutherland

Broschur

11.69 €

It's Never The End: Past Lives Present Destiny Alex Raco

Broschur

8.29 €

Harry Potter: Patronus Mini Projector Set RUNNING PRESS

Spielzeug

12.19 €

Black Veins (Anniversary Edition) Ashia Monet

Broschur

11.19 €

Fuck Stick Swear Word Coloring Book for Adults: swear word coloring book for adults stress relieving designs 8.5" X 11" Mandala Designs 54 Pages Mandala Swearing Books Publishing Co

Broschur

7.99 €