Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
Introduction to Concurrency Theory: Transition Systems and CCS
ISBN: 9783319214900 / Angielski / Twarda / 2015 / 334 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
200,77 |
 |
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
ISBN: 9783319856940 / Angielski / Miękka / 2018 / 302 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
321,26 |
 |
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
ISBN: 9783319555584 / Angielski / Twarda / 2017 / 302 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems.
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted...
|
cena:
321,26 |
 |
Introduction to Concurrency Theory: Transition Systems and CCS
ISBN: 9783319366388 / Angielski / Miękka / 2016 / 334 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
200,77 |
 |
Foundations of Security Analysis and Design: Tutorial Lectures
ISBN: 9783540428961 / Angielski / Miękka / 2001 / 405 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic commerce, information protection, network and systems integrity, etc. This volume presents revised versions of lectures given by leading security researchers during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, held in Bertinoro, Italy in September.
Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, ...
|
cena:
200,77 |
 |
Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
ISBN: 9783642230813 / Angielski / Miękka / 2011 / 275 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The FOSAD symposia are a vital means of disseminating cutting-edge developments in computer network security. This collection features revised versions of nine lectures given at FOSAD tutorials by some of the world's leading researchers in the field.
The FOSAD symposia are a vital means of disseminating cutting-edge developments in computer network security. This collection features revised version...
|
cena:
200,77 |
 |
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
ISBN: 9783540348931 / Angielski / Miękka / 2006 / 276 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems. This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed ... |
cena:
200,77 |
 |
Syntax and Semantics of Petri Nets
ISBN: 9781009613286 / Angielski / Twarda / 2025 / 279 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying three classes of nets that model (i) sequential systems, (ii) non-communicating parallel systems, and (iii) communicating parallel systems. A decidable and causality respecting behavioral equivalence is presented for each class, followed by a modal logic characterization for each equivalence. The author then introduces a suitable process algebra for the corresponding class of nets and proves that the behavioral equivalence proposed for each...
Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying...
|
cena:
516,69 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
