Mohlo by se vám také líbit

Více informací o knize Programming and Proof System ATES

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 331 bodů

Anotace 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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Software Engineering

• Plný název: Programming and Proof System ATES
• Podnázev: Advanced Techniques Integration into Efficient Scientific Software
• Autor: Armand Puccetti
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 352
• EAN: 9783540541882
• ISBN: 9783540541882
• ID: 06623975
• Nakladatelství: Springer, Berlin
• Hmotnost: 607 g
• Rozměry: 244 × 170 × 18 mm
• Datum vydání: 24. July 1991

Oblíbené z jiného soudku

---

---

---