Kontakt
Jak nakupovat
Doručení
Nákupní rádce
Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings
Angličtina
236 b
Až 30 dní na vrácení zboží
Zákazníci také koupili
/
Kniha
149
Kč
/
Brožovaná
333
Kč
/
Brožovaná
259
Kč
This book presents state-of-the-art research results in the§area of formal methods for real-time and fault-tolerant§systems. The papers consider problems and solutions in§safety-critical system design and examine how wellthe use§of formal techniques for design, analysis and verification§serves in relating theory to practical realities.§The book contains papers on real-time and fault-tolerance§issues. Formal logic, process algebra, and action/event§models are applied:§- to specify and model qualitative and quantitative§real-time and fault-tolerant behavior,§- to analyze timeliness requirements and consequences of§faulthypotheses,§- to verify protocols and program code,§- to formulate formal frameworks for development of§real-time and fault-tolerant systems,§- to formulate semantics of languages.§The integration and cross-fertilization of real-time and§fault-tolerance issues have brought newinsights in recent§years, and these are presented in this book.
Informace o knize
Angličtina
Kategorie
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovanéhoMohlo by vás také zajímat
/
Brožovaná
201
Kč
/
Brožovaná
918
Kč
/
Brožovaná
432
Kč
/
Brožovaná
350
Kč
/
Brožovaná
264
Kč
Ahoj! Jsem Libroamiko, tvůj knižní rádce.
Jak ti můžu pomoct?