Vertel uw vrienden over dit artikel:
Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering Shaoying Liu
Prijs
€ 58,99
Besteld in een afgelegen magazijn
Verwachte levering 28 mei - 11 jun.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 8 oktober 2008 |
| ISBN13 | 9783540881933 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 412 |
| Afmetingen | 156 × 234 × 21 mm · 612 g |
Meer door Shaoying Liu
Alles tonen![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)
Bekijk alles van Shaoying Liu ( bijv. Paperback Book en Hardcover Book )