Информация о книге

3540001417

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Сертификационные экзамены » Formal Techniques for Networked and Distributed Systems - FORTE 2002

Peled D., Vardi M., Formal Techniques for Networked and Distributed Systems - FORTE 2002

, 3540001417


Описание книги

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002. The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.

Поделиться ссылкой на книгу




Об авторе

Peled D.

Vardi M.


Последние поступления в рубрике "Сертификационные экзамены"



BTEC First ICT Practitioners: Core units and selected specialist units for the BTEC First Certificate and Diploma for ICT Practitioners BTEC First ICT Practitioners: Core units and selected specialist units for the BTEC First Certificate and Diploma for ICT Practitioners Yull S.

Each chapter in the textbook corresponds to one of these units of the syllabus. Students of BTEC First ICT programmes will find this text essential reading for the duration of their study - all the core material they will be following throughout their course is included in this book....

Exam Ref 70-410: Installing and Configuring Windows Server 2012 R2 Exam Ref 70-410: Installing and Configuring Windows Server 2012 R2 Zacker C.

Fully updated for Windows Server 2012 R2! Prepare for Microsoft Exam 70-410 - and help demonstrate your real-world mastery of implementing and configuring core services in Windows Server 2012 R2....

CCNA: Cisco Certified Network Associate: Review Guide (+ CD-ROM) CCNA: Cisco Certified Network Associate: Review Guide (+ CD-ROM) Lammle T.

The Cisco Certified Network Associate (CCNA) certification is the first step for network administrators seeking to advance their careers....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Peled D., Vardi M., Formal Techniques for Networked and Distributed Systems - FORTE 2002 в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.