Vinkkaa tuotetta kavereillesi:
Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering Shaoying Liu
Hinta
€ 63,99
Tilattu etävarastosta
Arvioitu toimitus to 28. touko - to 11. kesä
Lisää iMusic-toivelistallesi
tai
Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering
Shaoying Liu
Constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. This book addresses various issues in formal methods and their applications in software engineering. It features sections on specification and verification, testing, and verification.
412 pages, biography
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | keskiviikko 8. lokakuuta 2008 |
| ISBN13 | 9783540881933 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 412 |
| Mitta | 156 × 234 × 21 mm · 612 g |
Lisää tuotteita Shaoying Liu
Näytä kaikki![Cover for Shaoying Liu · Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/037/9783319174037.jpg?shaoying-liu-2015-structured-object-oriented-formal-language-and-method-4th-international-workshop-sofl-msvl-2014-luxembourg-luxembourg-november-6-2014-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1604043242)
![Cover for Shaoying Liu · Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/144/9783319049144.jpg?shaoying-liu-2014-structured-object-oriented-formal-language-and-method-third-international-workshop-sofl-msvl-2013-queenstown-new-zealand-october-29-2013-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1550737099)
![Cover for Shaoying Liu · Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/764/9783642392764.jpg?shaoying-liu-2013-structured-object-oriented-formal-language-and-method-second-international-workshop-sofl-2012-kyoto-japan-november-13-2012-revised-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1604033569)
![Cover for Shaoying Liu · Formal Engineering for Industrial Software Development: Using the Sofl Method (Paperback Book) [Softcover Reprint of Hardcover 1st Ed. 2004 edition] (2010)](https://imusic.b-cdn.net/images/item/original/271/9783642058271.jpg?shaoying-liu-2010-formal-engineering-for-industrial-software-development-using-the-sofl-method-paperback-book&class=scaled&v=1408460964)
Katso kaikki joka sisältää Shaoying Liu ( Esim. Paperback Book Ja Hardcover Book )