Italiano
Italia
registrati
Soffiata di eurolibro.it
Libri simili
Altri libri che potrebbero essere simili a questo:
Strumento di ricerca
Libri consigliati
Attuale
Pubblicità
FILTRO
- 0 Risultati
prezzo più basso: 20,45 €, prezzo più alto: 61,99 €, prezzo medio: 43,68 €
Leveraging Applications of Formal Methods - Springer
libro esaurito
(*)
Springer:
Leveraging Applications of Formal Methods - nuovo libro

2004, ISBN: 9783540489283

ID: 106518331

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Libro nuovo Thalia.de
No. 14115178 Costi di spedizione:, Versandfertig in 2 - 3 Tagen, DE (EUR 0.00)
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues) - Tiziana Maragria (Editor), Bernhard Steffen (Editor)
libro esaurito
(*)
Tiziana Maragria (Editor), Bernhard Steffen (Editor):
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues) - edizione con copertina flessibile

2004, ISBN: 9783540489283

ID: 599397829

Springer, 2006-11-16. 2006. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service., Springer, 2006-11-16

libro usato Biblio.com
Ergodebooks
Costi di spedizione: EUR 13.95
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues) - Editor-Tiziana Maragria; Editor-Bernhard Steffen
libro esaurito
(*)
Editor-Tiziana Maragria; Editor-Bernhard Steffen:
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues) - edizione con copertina flessibile

2004, ISBN: 9783540489283

ID: 496627191

Springer, 2006-11-16. Paperback. Very Good. Excellent customer service. Prompt Customer Service. Buy with confidence. Ships Fast. 24*7 Customer Service., Springer, 2006-11-16

libro usato Biblio.com
Ergodebooks
Costi di spedizione: EUR 13.95
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science) - Maragria, Tiziana [Editor]; Steffen, Bernhard [Editor];
libro esaurito
(*)
Maragria, Tiziana [Editor]; Steffen, Bernhard [Editor];:
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science) - edizione con copertina flessibile

2004, ISBN: 9783540489283

ID: 849972252

Springer, 2006-11-16. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2006-11-16

libro usato Biblio.com
GuthrieBooks
Costi di spedizione: EUR 23.23
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
LEVERAGING APPLICATIONS OF FORMAL METHODS: FIRST INTERNATIONAL SYMPOSIUM, ISOLA 2004, PAPHOS, CYPRUS, OCTOBER 30 - NOVEMBER 2, 2004, REVISED SELECTED PAPERS - TIZIANA MARAGRIA, BERNHARD STEFFEN
libro esaurito
(*)
TIZIANA MARAGRIA, BERNHARD STEFFEN:
LEVERAGING APPLICATIONS OF FORMAL METHODS: FIRST INTERNATIONAL SYMPOSIUM, ISOLA 2004, PAPHOS, CYPRUS, OCTOBER 30 - NOVEMBER 2, 2004, REVISED SELECTED PAPERS - libri usati

2004, ISBN: 9783540489283

ID: 686151253

Year of publications 3540489282

libro usato Biblio.com
Indianbooks
Costi di spedizione: EUR 16.74
Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.

Dettagli del libro
Leveraging Applications of Formal Methods

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

Informazioni dettagliate del libro - Leveraging Applications of Formal Methods


EAN (ISBN-13): 9783540489283
ISBN (ISBN-10): 3540489282
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2006
Editore: Springer-Verlag GmbH
187 Pagine
Peso: 0,330 kg
Lingua: eng/Englisch

Libro nella banca dati dal 25.05.2007 09:31:31
libro trovato per l'ultima volta il15.08.2017 15:50:08
ISBN/EAN: 9783540489283

ISBN - Stili di scrittura alternativi:
3-540-48928-2, 978-3-540-48928-3


< Per archiviare...
Libri correlati