.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Techniques for Networked and Distributed Systems
David Frutos-Escrig
€ 71.95
FREE Delivery in Ireland
Description for Formal Techniques for Networked and Distributed Systems
Paperback. 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. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004),held in Madrid, Spain, September 27-30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Three years ago the conference name was changed to its current form. The last ?ve meetings of this well-established conference series were held in Beijing, China (1999), ... Read more
This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004),held in Madrid, Spain, September 27-30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Three years ago the conference name was changed to its current form. The last ?ve meetings of this well-established conference series were held in Beijing, China (1999), ... Read more
Product Details
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
382
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
382
Place of Publication
Berlin, Germany
ISBN
9783540232520
SKU
V9783540232520
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Techniques for Networked and Distributed Systems