Conte aos seus amigos sobre este item:
Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering Shaoying Liu
Preço
€ 58,99
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 28 de mai - 11 de jun
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 8 de outubro de 2008 |
| ISBN13 | 9783540881933 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 412 |
| Dimensões | 156 × 234 × 21 mm · 612 g |
Mais por Shaoying Liu
Mostrar tudo![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)
Ver tudo de Shaoying Liu ( por exemplo Paperback Book e Hardcover Book )