Formal Methods in Software Engineering
por Manfred Broy · 2012
Sinopsis
Sé el primero en valorar este libro.
Más de Manfred Broy
Ver autor →Otras obras del mismo autor en el catálogo
Programación Orientada a Objetos en C++: Un Enfoque Conceptual
1990
Formale Systeme der Software-Entwicklung: Eine Einführung
1993
System Modeling and Analysis
1999
Modeling and Analyzing Systems with UML and OCL
2002
Software Process and Product Improvement
2002
Model Driven Engineering Languages and Systems
2004
Software Engineering: Key Concepts and Practices
2006
Model-Driven Development with Executable UML
2007
Service Oriented Architecture: Concepts, Technology, and Design
2007
Model-Based Testing of Software Systems
2009
From Model-Driven Design to Model-Driven Testing
2011
Libros similares
Libros relacionados según distintos criterios de búsqueda