ISBN: 9781447126447
Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in both industry and academia. Yet, in order … Altro …
Indigo.ca new in stock. Costi di spedizione:plus shipping costs., Costi di spedizione aggiuntivi Details... |
2013, ISBN: 1447126440
[EAN: 9781447126447], Libro nuovo, [SC: 18.46], [PU: Springer London], INFORMATIK EDV SOFTWARE ENGINEERING PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS LOGICS AND MEANINGS OF PROGRAMS T… Altro …
AbeBooks.it moluna, Greven, Germany [73551232] [Rating: 4 (su 5)] NEW BOOK. Costi di spedizione: EUR 18.46 Details... |
2013, ISBN: 1447126440
edizione con copertina rigida
Softcover reprint of hardcover 2nd ed. 2011 Kartoniert / Broschiert Software Engineering, Theoretische Informatik, mit Schutzumschlag 11, [PU:Springer London; Springer-Verlag London Ltd.]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2013, ISBN: 1447126440
[EAN: 9781447126447], Libro nuovo, [SC: 84.84], [PU: Springer], Books
AbeBooks.it Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (su 5)] NEW BOOK. Costi di spedizione: EUR 84.84 Details... |
Rakuten.fr |
ISBN: 9781447126447
Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in both industry and academia. Yet, in order … Altro …
2013, ISBN: 1447126440
[EAN: 9781447126447], Libro nuovo, [SC: 18.46], [PU: Springer London], INFORMATIK EDV SOFTWARE ENGINEERING PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS LOGICS AND MEANINGS OF PROGRAMS T… Altro …
2013
ISBN: 1447126440
edizione con copertina rigida
Softcover reprint of hardcover 2nd ed. 2011 Kartoniert / Broschiert Software Engineering, Theoretische Informatik, mit Schutzumschlag 11, [PU:Springer London; Springer-Verlag London Ltd.]
2013, ISBN: 1447126440
[EAN: 9781447126447], Libro nuovo, [SC: 84.84], [PU: Springer], Books
ISBN: 9781447126447
Livre
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Specification of Software Systems
EAN (ISBN-13): 9781447126447
ISBN (ISBN-10): 1447126440
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2011
Editore: Springer
672 Pagine
Peso: 0,999 kg
Lingua: Englisch
Libro nella banca dati dal 2008-12-14T18:36:34+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-10-22T14:14:13+02:00 (Zurich)
ISBN/EAN: 9781447126447
ISBN - Stili di scrittura alternativi:
1-4471-2644-0, 978-1-4471-2644-7
Stili di scrittura alternativi e concetti di ricerca simili:
Titolo del libro: specification software systems
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9780857292773 Specification of Software Systems (V.S. Alagar; K. Periyasamy)
- 9780857292773 Specification of Software Systems (V.S. Alagar; K. Periyasamy)
- 9780857292766 Specification of Software Systems (Texts in Computer Science) (Alagar, V.S. Periyasamy, K.)
- 9780387984308 Specification of Software Systems (Alagar, V. S., Periyasamy, K.)
- Specification of Software Systems (Texts in Computer Science) by V.S. Alagar (2011-04-06)
< Per archiviare...