|
|
libcats.org
Главная →
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, ProceedingsZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, ProceedingsDidier Bert, Jonathan P. Bowen, Steve King, Marina WaldénThis book constitutes the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
Скачать книгу бесплатно (pdf, 4.31 Mb)
Читать «ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Теоремы и задачи по алгебре и элементарным функциямАвтор: Сивашинский И.Х.Категория: Mathematics, School-level
Размер книги: 4.30 Mb
Medical Microbiology, Updated Edition: With STUDENT CONSULT Online AccessАвтор: Cedric Mims BSc MD FRCPath, Автор: Hazel Dockrell MD, Автор: Richard Goering MD PhD, Автор: Ivan Roitt MA DSc(Oxon) Hon FRCP(Lond) FRCPath FRS, Автор: Derek Wakelin BSc PhD DSc FRCPath, Автор: Mark Zuckerman MB BS(London) MSc BSc MRCP MRCPathКатегория: MEDICINE
Размер книги: 75.37 Mb
Google Business Solutions and Tools: 100 Success Secrets to Reach new customers, Enhance your website and Increase your productivityАвтор: Daniel Collins
Размер книги: 592 Kb
Nationalist Voices in Jordan: The Street and the StateАвтор: Betty Signe Anderson
Размер книги: 1.46 Mb
Doobie Brothers Guitar Anthology (Guitar Anthology Series)Автор: Danny Begelman
Размер книги: 8.32 Mb
Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon's 60th Birthday. Part 1: Quantum Field Theory, Statistical Mechanics, and Nonrelativistic Quantum SystemsАвтор: Fritz Gesztesy, Автор: Percy Deift, Автор: Cherie Galvez, Автор: Peter Perry, Автор: Wilhelm Schlag (Editors)
Размер книги: 4.67 Mb
|
|
|