Mohlo by se vám také líbit

Informovat o naskladnění knihy

Více informací o knize Information Systems

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

Nákupem získáte 251 bodů

Anotace knihy

This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the drive to bring formal specification techniques one step further towards realistic applications.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Systems analysis & design

• Plný název: Information Systems
• Podnázev: Correctness and Reusability - Selected Papers from the IS-CORE Workshop
• Autor: Roel J. Wieringa, R. B. Feenstra
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 260
• EAN: 9789810222406
• ID: 05065108
• Nakladatelství: World Scientific Publishing Co Pte Ltd
• Hmotnost: 406 g
• Datum vydání: 06. January 1995

Oblíbené z jiného soudku

---

---

---