Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Luckham, David
Verlag Gachnang & Springer
Testo Inglese.
Berlin, 1990; ril. in tela, pp. 432.
ISBN: 3-540-97254-4 - EAN13: 9783540972549
Testo in:
Peso: 0.75 kg
Baia grande. La pialassa Baiona ultima frontiera per una valle salmastra
Eremi del Lazio meridionale. Guida ai luoghi di culto rupestri
Konrad. Per quanto un'oca allunghi il collo non diventerà mai un cigno