Bookbot

Software engineering with abstractions

Évaluation du livre

En savoir plus sur le livre

This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development. 0201080044B04062001

Achat du livre

Software engineering with abstractions, Valdis Andris Bērzin̦s̆

Langue
Année de publication
1990
Reliure
(rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

4,0
Très bien
1 Évaluations

Il manque plus que ton avis ici.

Titre
Software engineering with abstractions
Langue
Anglais
Publié
1990
Format
rigide
ISBN10
0201080044
ISBN13
9780201080049
Séries
Évaluation
4 sur 5
Description
This book provides a technical introduction to software engineering. It employs a systematic approach that is both formal and practical, and covers the entire software development process. It uses a formal specification language ("Spec") to develop large, real-time, and distributed systems in Ada, and includes a discussion of system evolution and tools for automating software development. 0201080044B04062001