- 5 Risultati
prezzo più basso: € 26,53, prezzo più alto: € 55,60, prezzo medio: € 48,82
1
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings Klaus Havelund Editor
Ordina
da BarnesandNoble.com
€ 54,99
Ordina
Dettagli & spedizione
Link sponsorizzato

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings Klaus Havelund Editor - nuovo libro

2008, ISBN: 9783540851134

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised … Altro …

new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
2
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Havelund, Klaus (Herausgeber); Palsberg, Jens (Herausgeber); Majumdar, Rupak (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 55,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Havelund, Klaus (Herausgeber); Palsberg, Jens (Herausgeber); Majumdar, Rupak (Herausgeber):

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - nuovo libro

2008, ISBN: 3540851135

2008 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Theoretisc… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
3
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Havelund, Klaus, Rupak Majumdar und Jens Palsberg
Ordina
da booklooker.de
€ 26,53
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Havelund, Klaus, Rupak Majumdar und Jens Palsberg:
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - libri usati

2008

ISBN: 9783540851134

[PU: Springer Berlin], Neubindung, Buchkante leicht angestossen, Cover leicht geknickt, Ausgabe 2008 4564571/12, DE, [SC: 3.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberw… Altro …

Costi di spedizione:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
Chiudere (X)
4
Model Checking Software
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Model Checking Software - edizione con copertina flessibile

2008, ISBN: 9783540851134

*Model Checking Software* - 15th International SPIN Workshop Los Angeles CA USA August 10-12 2008 Proceedings. Auflage 2008 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, English,, … Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
5
Model Checking Software
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Model Checking Software - edizione con copertina flessibile

2008, ISBN: 9783540851134

*Model Checking Software* - 15th International SPIN Workshop Los Angeles CA USA August 10-12 2008 Proceedings. Auflage 2008 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, … Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Model Checking Software
Autore:
Titolo:
ISBN:

9783540851134


This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.

Informazioni dettagliate del libro - Model Checking Software


EAN (ISBN-13): 9783540851134
ISBN (ISBN-10): 3540851135
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2008
Editore: Springer Berlin Heidelberg
343 Pagine
Peso: 0,540 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2008-09-29T15:50:49+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-22T18:54:53+01:00 (Zurich)
ISBN/EAN: 9783540851134

ISBN - Stili di scrittura alternativi:
3-540-85113-5, 978-3-540-85113-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : majumdar, klaus see, havel, klaus held
Titolo del libro: software, spin, usa 2008, international model, then and now los angeles, looking los angeles, usa and away, los angeles above, august, proceedings international workshop

< Per archiviare...