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

Informovať o naskladnení knihy

Viac informácií o knihe Theory and Formal Methods of Computing

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

Nákupom získate 519 bodov

Anotácia knihy

The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers here range from the purely theoretical to practical applications.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

• Celý názov: Theory and Formal Methods of Computing
• Autor: Chris Hankin, I. Mackie, Rajagopal Nagarajan
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 444
• EAN: 9781860940033
• ID: 05121460
• Nakladateľ: Imperial College Press
• Dátum vydania: 10. January 1995

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

---

---

---