Formal Techniques for Networked & Distributed Systems

D. Frutos-Escrig
Ksi─ů┼╝ka Formal Techniques for Networked & Distributed Systems
Popraw t─Ö ksi─ů┼╝k─Ö | Dodaj inne wydanie

Opis

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.
Data wydania: 2004
ISBN: 978-3-540-23252-0, 9783540232520
Wydawnictwo: Springer

Gdzie kupi─ç

Ksi─Ögarnie internetowe


Ogłoszenia

{}
Dodaj ogłoszenie
za darmo!
U┼╝ywane ksi─ů┼╝ki maj─ů dusz─Ö. Zamiast kupowa─ç w sklepie, zajrzyj na nasz─ů stron─Ö z og┼éoszeniami. Ksi─ů┼╝kowe zero-waste? Kupuj u┼╝ywane, sprzedawaj niechciane.

Moja Biblioteczka

Ju┼╝ przeczytana? Jak j─ů oceniasz?

Recenzje

Ksi─ů┼╝ka Formal Techniques for Networked & Distributed Systems nie ma jeszcze recenzji. Znasz j─ů? Mo┼╝e napiszesz kilka s┼é├│w dla innych Kanapowicz├│w?
{}´ŞĆ Napisz pierwsz─ů recenzje

Moja opinia o ksi─ů┼╝ce

Cytaty z ksi─ů┼╝ki

O nie! Ksi─ů┼╝ka Formal Techniques for Networked & Distributed Systems. czuje si─Ö pomini─Öta, bo nikt nie doda┼é jeszcze do niej cytatu. Mo┼╝e jej pomo┼╝esz i dodasz jaki┼Ť?
{} Dodaj cytat
O nas Kontakt Pomoc Polityka prywatno┼Ťci Regulamin
© 2021 nakanapie.pl
Zrobione z {} na Pradze Południe