Related Books

Formal Description Techniques VIII
Language: en
Pages: 450
Authors: Gregor von Bochmann
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundat
Formal Description Techniques and Protocol Specification, Testing and Verification
Language: en
Pages: 544
Authors: Atsushi Togashi
Categories: Computers
Type: BOOK - Published: 2013-06-05 - Publisher: Springer

DOWNLOAD EBOOK

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1,
Operational Research for Renewable Energy and Sustainable Environments
Language: en
Pages: 368
Authors: Thomas, Joshua
Categories: Technology & Engineering
Type: BOOK - Published: 2024-02-08 - Publisher: IGI Global

DOWNLOAD EBOOK

The application of contemporary and emerging operational research optimization methods in renewable energy is vital to creating and maintaining sustainable envi
Distributed Programming
Language: en
Pages: 389
Authors: A. Udaya Shankar
Categories: Computers
Type: BOOK - Published: 2012-09-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specificati
Validation of Stochastic Systems
Language: en
Pages: 473
Authors: Christel Baier
Categories: Mathematics
Type: BOOK - Published: 2004-08-26 - Publisher: Springer

DOWNLOAD EBOOK

This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar.