Software Engineering 1 Abstraction and Modelling /
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 1 covers t...
|Main Author:||Bjørner, Dines.|
|Corporate Author:||SpringerLink (Online service)|
Berlin, Heidelberg :
Springer Berlin Heidelberg,
Texts in Theoretical Computer Science an EATCS Series,
No Tags, Be the first to tag this record!