- 5 Risultati
prezzo più basso: € 23,90, prezzo più alto: € 77,84, prezzo medio: € 51,85
1
Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures - Marco Bernardo
Ordina
da ZVAB.com
€ 68,90
Spedizione: € 0,001
OrdinaLink sponsorizzato
Marco Bernardo:

Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures - edizione con copertina flessibile

2012, ISBN: 364230981X

[EAN: 9783642309816], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIONSSYSTEM; PROGRAMMIERSPRACHEN; COMPUTERLANGUAGESEM… Altro …

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Formal Methods for Model-Driven Engineering  Marco Bernardo (u. a.)  Taschenbuch  Lecture Notes in Computer Science  Englisch  2012  Springer Berlin  EAN 9783642309816 - Bernardo, Marco
Ordina
da booklooker.de
€ 23,90
Spedizione: € 0,001
OrdinaLink sponsorizzato

Bernardo, Marco:

Formal Methods for Model-Driven Engineering Marco Bernardo (u. a.) Taschenbuch Lecture Notes in Computer Science Englisch 2012 Springer Berlin EAN 9783642309816 - edizione con copertina flessibile

2012, ISBN: 9783642309816

[ED: Taschenbuch], [PU: Springer Berlin], This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the De… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
3
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures - Bernardo, Marco (Herausgeber); Pierantonio, Alfonso (Herausgeber); Cortellessa, Vittorio (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 77,84
Spedizione: € 0,001
OrdinaLink sponsorizzato
Bernardo, Marco (Herausgeber); Pierantonio, Alfonso (Herausgeber); Cortellessa, Vittorio (Herausgeber):
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures - nuovo libro

2012

ISBN: 364230981X

2012 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informationssystem, Programmiersprachen, Compiler und Übersetzer, Software Engineering, Angewandte In… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Formal Methods for Model-Driven Engineering  Marco Bernardo (u. a.)  Taschenbuch  Lecture Notes in Computer Science  Book  Englisch  2012 - Bernardo, Marco
Ordina
da booklooker.de
€ 23,90
Spedizione: € 0,001
OrdinaLink sponsorizzato
Bernardo, Marco:
Formal Methods for Model-Driven Engineering Marco Bernardo (u. a.) Taschenbuch Lecture Notes in Computer Science Book Englisch 2012 - edizione con copertina flessibile

2012, ISBN: 9783642309816

[ED: Taschenbuch], [PU: Springer Berlin], This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the De… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
5
Formal Methods for Model-Driven Engineering - Marco Bernardo
Ordina
da booklooker.de
€ 64,69
Spedizione: € 0,001
OrdinaLink sponsorizzato
Marco Bernardo:
Formal Methods for Model-Driven Engineering - edizione con copertina flessibile

2014, ISBN: 9783642309816

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Met… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buchversandmimpf2000

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

Informazioni dettagliate del libro - Formal Methods for Model-Driven Engineering


EAN (ISBN-13): 9783642309816
ISBN (ISBN-10): 364230981X
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2012
Editore: Springer Berlin
439 Pagine
Peso: 0,663 kg
Lingua: Englisch

Libro nella banca dati dal 2008-07-28T09:14:18+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-01-17T13:02:03+01:00 (Rome)
ISBN/EAN: 9783642309816

ISBN - Stili di scrittura alternativi:
3-642-30981-X, 978-3-642-30981-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : alfonso, vit, corte, pierantoni, marc bernard, bernardo
Titolo del libro: design 2012, engineering software, methods for design, computer model, driven, drive, bernardo, design and the computer, communication systems engineering, advanced engineering design, 201


Dati dell'editore

Autore: Marco Bernardo; Vittorio Cortellessa; Alfonso Pierantonio
Titolo: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Editore: Springer; Springer Berlin
439 Pagine
Anno di pubblicazione: 2012-06-14
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
VII, 439 p. 158 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; architectural description languages; computer language semantics; model-driven development; performance evaluation; reliability; Software Engineering; Formal Languages and Automata Theory; Compilers and Interpreters; Computer and Information Systems Applications; IT Operations; Theoretische Informatik; Compiler und Übersetzer; Angewandte Informatik; Wirtschaftsmathematik und -informatik, IT-Management; EA

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
Made for students, researchers, and practitioners Original, readable, and useful lecture notes Thoroughly revised tutorials

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9783642309823 Formal Methods for Model-Driven Engineering (Springer)


< Per archiviare...