Lets Explore,

Cover of Programming with Specifications: An Introduction to Anna. a Language for Specifying ADA Programs(Texts & Monographs in Computer Science)

Programming with Specifications: An Introduction to Anna. a Language for Specifying ADA Programs(Texts & Monographs in Computer Science)

(Hardback)

David Luckham,

Springer-Verlag New York Inc. (Publisher)

Published

1990

Reviews

0

Computing and Information Technology Computer programming / software engineering Programming and scripting languages: general

By: David Luckham | Publisher: Springer-Verlag New York Inc. | Released: 23 Oct 1990

Ships within 4-6 days

₹4363.00

₹4363.00

0% off

1

This monograph introduces ANNA, a language for specifying programs written in Ada.

More books by David Luckham

Cover of Programming with Specifications

Programming with Specifications

David Luckham

₹5599.0₹3583.0

Cover of Programming with Specifications

Programming with Specifications

David Luckham

Cover of Hardware Design and Simulation in VAL/VHDL

Hardware Design and Simulation in VAL/VHDL

Benoit A. Gennart

₹11199.0₹7055.0

Cover of Hardware Design and Simulation in VAL/VHDL

Hardware Design and Simulation in VAL/VHDL

Benoit A. Gennart

₹11199.0₹7055.0

Cover of ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

Friedrich W. Von Henke

₹5599.0₹3583.0

Cover of Programming with Specifications

Programming with Specifications

David Luckham

Cover of The Power of Events

The Power of Events

David Luckham

Cover of Programming with Specifications

Programming with Specifications

David Luckham

Cover of Anna a Language for Annotating ADA Programs

Anna a Language for Annotating ADA Programs

David C Luckham

Cover of Event Processing for Business

Event Processing for Business

David C. Luckham

Cover of Event Processing for Business

Event Processing for Business

David C. Luckham

Cover of Event Processing for Business

Event Processing for Business

David C. Luckham

Cover of Event Processing for Business

Event Processing for Business

David C Luckham

Cover of Power of Events The

Power of Events The

David Luckham

₹5271.55₹4731.55

Cover of Event Processing for Business

Event Processing for Business

David C. Luckham

₹4180.0₹3002.79

Similar Products

Cover of Programming with Specifications

Programming with Specifications

David Luckham

Cover of Programming with Specifications

Programming with Specifications

David Luckham

Cover of Programming with Specifications

Programming with Specifications

David Luckham

₹5599.0₹3583.0

Cover of Programming from Specifications

Programming from Specifications

Carroll Morgan

Cover of Programming from Specifications

Programming from Specifications

Carroll Morgan

Cover of An Introduction to Programming with Specifications

An Introduction to Programming with Specifications

Bozzano G Luisa

Cover of Programming Language Specification

Programming Language Specification

Lambert M Surhone

Cover of Introduction to Programming with Specifications

Introduction to Programming with Specifications

Gerard Meurant

Vidya AI