Buchportal für Bücher die eine ISBN tragen.

Reihe Monographs in Computer Science

David Luckham ×

Buchcover Programming with Specifications

Programming with Specifications

An Introduction to ANNA, A Language for Specifying Ada Programs

Buchcover Programming with Specifications

Programming with Specifications

An Introduction to ANNA, A Language for Specifying Ada Programs

Buchcover Programming with Specifications

Programming with Specifications

An Introduction to ANNA, A Language for Specifying Ada Programs

Buchcover Programming with Specifications

Programming with Specifications

An Introduction to ANNA, A Language for Specifying Ada Programs