registrati
Soffiata di eurolibro.it
Libri simili
Altri libri che potrebbero essere simili a questo:
Strumento di ricerca
Libri consigliati
Attuale
Pubblicità
Annuncio a pagamento
- 0 Risultati
prezzo più basso: € 25,77, prezzo più alto: € 74,99, prezzo medio: € 59,63
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) - 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 (Lecture Notes in Computer Science) - edizione con copertina flessibile

2004, ISBN: 3540489282

Paperback, [EAN: 9783540489283], Springer, Springer, Book, [PU: Springer], Springer, 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., 3890, Expert Systems, 3887, AI & Machine Learning, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 602672, Systems Analysis & Design, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3730, Embedded Systems, 3723, Microprocessors & System Design, 549652, Hardware & DIY, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3747, Networks, 3740, Networks, Protocols & APIs, 3652, Networking & Cloud Computing, 5, Computers & Technology, 1000, Subjects, 283155, Books, 4016, Software Development, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 4020, UML, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 107189011, Logic, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3971, Compilers, 3952, Programming Languages, 5, Computers & Technology, 1000, Subjects, 283155, Books, 491314, Programming Languages, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491316, Software Design & Engineering, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

libro usato Amazon.com
Harold'sBooks
Gebraucht. Costi di spedizione:Usually ships in 24 hours., Costi di spedizione aggiuntivi
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) - 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 (Lecture Notes in Computer Science) - edizione con copertina flessibile

2004, ISBN: 3540489282

Paperback, [EAN: 9783540489283], Springer, Springer, Book, [PU: Springer], Springer, 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., 3890, Expert Systems, 3887, AI & Machine Learning, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 602672, Systems Analysis & Design, 3508, Computer Science, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3730, Embedded Systems, 3723, Microprocessors & System Design, 549652, Hardware & DIY, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3747, Networks, 3740, Networks, Protocols & APIs, 3652, Networking & Cloud Computing, 5, Computers & Technology, 1000, Subjects, 283155, Books, 4016, Software Development, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 4020, UML, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 107189011, Logic, 4011, Software Design, Testing & Engineering, 3839, Programming, 5, Computers & Technology, 1000, Subjects, 283155, Books, 3971, Compilers, 3952, Programming Languages, 5, Computers & Technology, 1000, Subjects, 283155, Books, 491314, Programming Languages, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books, 491316, Software Design & Engineering, 468204, Computer Science, 465600, New, Used & Rental Textbooks, 2349030011, Specialty Boutique, 283155, Books

Libro nuovo Amazon.com
Herb Tandree Philosophy Bks
Neuware. Costi di spedizione:Usually ships in 1-2 business days., Costi di spedizione aggiuntivi
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 - Maragria, Tiziana (Herausgeber); Steffen, Bernhard (Herausgeber)
libro esaurito
(*)
Maragria, Tiziana (Herausgeber); Steffen, Bernhard (Herausgeber):
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers - nuovo libro

2006, ISBN: 3540489282

ID: A4697187

2006 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Sprache / Formale Sprache, UML (EDV), Extensible Markup Language ( XML ), XML - Extensible Markup Language , Betriebssysteme, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Programmier- und Skriptsprachen, allgemein, Software Engineering, Informatik, Rechnerarchitektur und Logik-Entwurf, Unified Modeling Language (UML); algorithms; classification; deductive verification; formal analysis; formal modeling; Hybrid Petri Nets; logical constraints; model checking; modeling; operating system; Optimization; theorem proving; verification, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]

Libro nuovo Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Costi di spedizione:Versandkostenfrei innerhalb der BRD. (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 - 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 - Tiziana Maragria
libro esaurito
(*)
Tiziana Maragria:
Leveraging Applications of Formal Methods - libri usati

ISBN: 9783540489283

ID: 92493752_us

Livre, [PU: Springer, Berlin/Heidelberg]

libro usato Priceminister.com
Priceminister
Costi di spedizione:France. (EUR 14.00)
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 il16.07.2018 09:56:51
ISBN/EAN: 9783540489283

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


< Per archiviare...
Libri correlati