|
|
libcats.org
The Way of Z: Practical Programming with Formal MethodsJonathan JackyThis self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
A.Зацепин. Блок индикации цифрового частотомера (В помощь радиолюбителю. Вып.78)Автор:
Размер книги: 80 Kb
Автомобили Горьковского автозавода. Коллектив авторов. Ответственный редактор А.Д.ПросвирнинАвтор: Просвирнин Александр ДмитриевичКатегория: транспорт
Размер книги: 12.56 Mb
Basic Abstract AlgebraАвтор: P. B. Bhattacharya, Автор: S. K. Jain, Автор: S. R. Nagpaul
Размер книги: 6.68 Mb
Semantic Web for the working ontologist : effective modeling in RDFS and OWLАвтор: Dean Allemang, Автор: James Hendler
Размер книги: 3.88 Mb
Appell P. (ed.) Encyclopedie des sciences mathematiques. IV 1. Mecanique (1916)(fr)(L)(T)(160s).djvuАвтор:
Размер книги: 4.23 Mb
Petrology of Sedimentary Rocks, Second EditionАвтор: Sam Boggs Jr.Категория: Экономика
Размер книги: 16.31 Mb
Ross and Wilson Anatomy and Physiology in Health and IllnessАвтор: Anne Waugh BSc(Hons) MSc CertEd SRN RNT FHEA, Автор: Allison Grant BSc PhD RGN
Размер книги: 27.02 Mb
|
|
|