Mohlo by sa vám tiež páčiť

Viac informácií o knihe Programming and Proof System ATES

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 345 bodov

Anotácia knihy

This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Programming and Proof System ATES
• Podnázov: Advanced Techniques Integration into Efficient Scientific Software
• Autor: Armand Puccetti
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 352
• EAN: 9783540541882
• ISBN: 9783540541882
• ID: 06623975
• Nakladateľ: Springer, Berlin
• Hmotnosť: 607 g
• Rozmery: 244 × 170 × 18 mm
• Dátum vydania: 24. July 1991

Obľúbené z iného súdka

---

---

---