Bookbot

Software engineering with abstractions

Ocena książki

Więcej o książce

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

Zakup książki

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

Język
Rok wydania
1990
Oprawa
(twarda)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.

Metody płatności

4,0
Bardzo dobra
1 Ocena

Brakuje nam tutaj Twojej recenzji.

Tytuł
Software engineering with abstractions
Język
angielski
Rok wydania
1990
Oprawa
twarda
ISBN10
0201080044
ISBN13
9780201080049
Seria
Tagi
Ocena
4 z 5
Opis
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