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 - pocketboek
2012, ISBN: 364230981X
[EAN: 9783642309816], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIONSSYSTEM; PROGRAMMIERSPRACHEN; COMPUTERLANGUAGESEM… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
Formal Methods for Model-Driven Engineering Marco Bernardo (u. a.) Taschenbuch Lecture Notes in Computer Science Englisch 2012 Springer Berlin EAN 9783642309816 - pocketboek
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… Meer...
booklooker.de |
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 - nieuw boek
2012, ISBN: 364230981X
2012 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informationssystem, Programmiersprachen, Compiler und Übersetzer, Software Engineering, Angewandte In… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Formal Methods for Model-Driven Engineering Marco Bernardo (u. a.) Taschenbuch Lecture Notes in Computer Science Book Englisch 2012 - pocketboek
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… Meer...
booklooker.de |
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… Meer...
booklooker.de buchversandmimpf2000 Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
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 - pocketboek
2012, ISBN: 364230981X
[EAN: 9783642309816], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIONSSYSTEM; PROGRAMMIERSPRACHEN; COMPUTERLANGUAGESEM… Meer...
Bernardo, Marco:
Formal Methods for Model-Driven Engineering Marco Bernardo (u. a.) Taschenbuch Lecture Notes in Computer Science Englisch 2012 Springer Berlin EAN 9783642309816 - pocketboek2012, 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… Meer...
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 - nieuw boek
2012
ISBN: 364230981X
2012 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informationssystem, Programmiersprachen, Compiler und Übersetzer, Software Engineering, Angewandte In… Meer...
Formal Methods for Model-Driven Engineering Marco Bernardo (u. a.) Taschenbuch Lecture Notes in Computer Science Book Englisch 2012 - pocketboek
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… Meer...
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… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Formal Methods for Model-Driven Engineering
EAN (ISBN-13): 9783642309816
ISBN (ISBN-10): 364230981X
Gebonden uitgave
pocket book
Verschijningsjaar: 2012
Uitgever: Springer Berlin
439 Bladzijden
Gewicht: 0,663 kg
Taal: Englisch
Boek bevindt zich in het datenbestand sinds 2008-07-28T09:14:18+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-01-17T13:02:03+01:00 (Amsterdam)
ISBN/EAN: 364230981X
ISBN - alternatieve schrijfwijzen:
3-642-30981-X, 978-3-642-30981-6
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: alfonso, vit, corte, pierantoni, marc bernard, bernardo
Titel van het boek: design 2012, engineering software, methods for design, computer model, driven, drive, bernardo, design and the computer, communication systems engineering, advanced engineering design, 201
Gegevens van de uitgever
Auteur: Marco Bernardo; Vittorio Cortellessa; Alfonso Pierantonio
Titel: 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
Uitgeverij: Springer; Springer Berlin
439 Bladzijden
Verschijningsjaar: 2012-06-14
Berlin; Heidelberg; DE
Gedrukt / Gemaakt in
Taal: Engels
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
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783642309823 Formal Methods for Model-Driven Engineering (Springer)
< naar Archief...