Software Engineering 3 Domains, Requirements, and Software Design /
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 3 is based...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Bjørner, Dines (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
Edición: | 1st ed. 2006. |
Colección: | Texts in Theoretical Computer Science. An EATCS Series,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Software Engineering 2 Specification of Systems and Languages /
por: Bjørner, Dines
Publicado: (2006) -
Software Engineering 1 Abstraction and Modelling /
por: Bjørner, Dines
Publicado: (2006) -
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
Publicado: (2014) -
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers /
Publicado: (2007) -
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
Publicado: (2005)