ISBN 3540410309 – SPIN Model Checking and Software Verification – 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings – Buch gebraucht, antiquarisch & neu kaufen

Autor/in

Titel

Stichwort

Verlag

ISBN

Zeitraum

von bis

Sprache

alle Sprachen Deutsch Englisch Französisch ------- Afrikaans Albanisch Amharisch Arabisch Armenisch Aserbaidschanisch Baskisch Belarussisch Bengalisch Bosnisch Bretonisch Bulgarisch Bündnerromanisch Chinesisch Dänisch Deutsch Englisch Esperanto Estnisch Färöisch Finnisch Französisch Friesisch Galizisch Georgisch Griechisch (Alt-) Griechisch (Neu-) Hebräisch Hindi Indonesisch Irisch Isländisch Italienisch Japanisch Jiddisch Kasachisch Katalanisch Klingonisch Koreanisch Korsisch Kroatisch Kurdisch Lateinisch Lettisch Litauisch Luxemburgisch Maltesisch Marathi Mazedonisch Moldauisch Mongolisch Nepali Niederdeutsch Niederländisch Norwegisch Pali Paschtunisch Persisch Polnisch Portugiesisch Rumänisch Russisch Sanskrit Schwedisch Serbisch Slowakisch Slowenisch Sorbisch (Nieder-) Sorbisch (Ober-) Spanisch Swahili Syrisch Tagalog Tamil Telugu Thai Tibetisch Tschechisch Türkisch Uigurisch Ukrainisch Ungarisch Urdu Usbekisch Vietnamesisch Walisisch

Einband

alle Einbände Softcover/Taschenbuch Hardcover/gebunden Heft/Zeitschrift Flexi/Plastik Leinen Leder Pergament Seide Brief/Blatt/Landkarte Ringbindung Postkarte/Sammelkarte Leporello Übergröße Kleinformat

signiert

nur signierte Bücher

Erstausgabe

nur Erstausgaben / -auflagen

Zustand

alle Zustände wie neu (oder besser) leichte Gebrauchsspuren (oder besser) deutliche Gebrauchsspuren (oder besser)

Bild

nur Angebote mit Bild

Preis

von bis inkl. Versand

Lieferbarkeit

nur garantiert lieferbare Angebote

Anbieter

alle Anbieter nur Privat nur Profi

Anbieter aus

alle Länder ------- Deutschland Österreich Schweiz Niederlande ------- Australien Belgien Bulgarien Chile Dänemark Deutschland Estland Frankreich Griechenland Indien Irland Israel Italien Japan Kroatien Lettland Liechtenstein Litauen Luxemburg Marokko Mexico Niederlande Norwegen Österreich Pakistan Polen Portugal Rumänien Russland Schweden Schweiz Slowakei Slowenien Spanien Thailand Tschechien Ukraine Ungarn USA Vatikanstadt Vereinigtes Königreich Zypern

Zahlungsarten

PayPal
Banküberweisung
weitere anzeigen

• Offene Rechnung (Vorkasse vorbehalten)
• Kreditkarte
• Lastschrift
• Nachnahme
• Skrill/Moneybookers
• Selbstabholung und Barzahlung

Umkreis

+ 5 km + 20 km + 100 km

Nur Angebote aus den letzten

-- 1 2 3 4 5 6 7 14 28 Tagen

 

gebraucht neu

Suche verfeinern … >> Tipps zur Suche
Als Suchauftrag speichern
Für Kombisuche speichern

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885, Band 1885)

Visser, Willem, Klaus Havelund and John Penix

Springer

, 2008.
ISBN: 3540410309
Zustand: gebraucht; gut

50,57 €
versandkostenfrei

auf Ihrem

Artikel nicht mehr ignorieren Artikel ignorieren

wird gespeichert …

von Studibuch-de, Bewertungen 99,4% positiv

SPIN Model Checking and Software Verification

Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.

Klaus Havelund

Springer Berlin Heidelberg

, 21.08.2000, Taschenbuch
ISBN: 3540410309
Neuware

53,49 €
versandkostenfrei

auf Ihrem

Artikel nicht mehr ignorieren Artikel ignorieren

wird gespeichert …

von BuchWeltWeit Inh. Ludwig Meier e.K., Bewertungen 99,9% positiv

SPIN Model Checking and Software Verification

Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.

Klaus Havelund

Springer

, 21.08.2000, Taschenbuch
ISBN: 3540410309
Neuware

55,73 €
versandkostenfrei

auf Ihrem

Artikel nicht mehr ignorieren Artikel ignorieren

wird gespeichert …

von buchversandmimpf2000, Bewertungen 99,8% positiv

SPIN Model Checking and Software Verification

Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.

Havelund, Klaus Penix, John Visser, Willem

Springer Berlin Heidelberg

, 2000, Kartoniert / Broschiert
ISBN: 3540410309
Neuware

48,45 €
versandkostenfrei

auf Ihrem

Artikel nicht mehr ignorieren Artikel ignorieren

wird gespeichert …

von Moluna GmbH, Bewertungen 99,7% positiv

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885, Band 1885) Visser

Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.

Visser, Willem, Klaus Havelund and John Penix

Springer

, 2008
ISBN: 3540410309
Zustand: leichte Gebrauchsspuren

189,90 €
6,95 €

auf Ihrem

Artikel nicht mehr ignorieren Artikel ignorieren

wird gespeichert …

vom Händler, Bewertungen 100,0% positiv