Programming with Specifications: Introduction to ANNA - a Language for Specifying ADA Programmes (Texts and Monographs in Computer Science)

von David Luckham

Springer, B. · 1990

Gebunden

Details (Deutschland)

Details (USA)

Details (Großbritannien)

Details (Kanada)

Details (Frankreich)

Details (Italien)

ISBN: 978-3-540-97254-9

ISBN-10: 3-540-97254-4