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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Bjørner, Dines (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Texts in Theoretical Computer Science. An EATCS Series,
Subjects:
Computer science.
Software engineering.
Computer programming.
Compilers (Computer programs).
Theory of Computation.
Software Engineering.
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Holdings details from

Similar Items