Fortell venner om denne varen:
Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering Shaoying Liu
Pris
NOK 599
Bestillingsvarer
Forventes levert 28. mai - 11. jun
Legg til iMusic ønskeliste
eller
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 8. oktober 2008 |
| ISBN13 | 9783540881933 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 412 |
| Mål | 156 × 234 × 21 mm · 612 g |
![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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1604033569)
![Cover for Shaoying Liu · Formal Engineering for Industrial Software Development: Using the Sofl Method (Pocketbok) [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-pocketbok&class=scaled&v=1408460964)