0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Buy Now

Formal Techniques for Networked and Distributed Systems - FORTE 2002 - 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (Paperback, XI, 371p.) Loot Price: R1,616
Discovery Miles 16 160
Formal Techniques for Networked and Distributed Systems - FORTE 2002 - 22nd IFIP WG 6.1 International Conference Houston,...

Formal Techniques for Networked and Distributed Systems - FORTE 2002 - 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (Paperback, XI, 371p.)

Doron A. Peled, Moshe Y. Vardi

Series: Lecture Notes in Computer Science, 2529

 (sign in to rate)
Loot Price R1,616 Discovery Miles 16 160 | Repayment Terms: R151 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 2529
Release date: October 2002
First published: 2002
Editors: Doron A. Peled • Moshe Y. Vardi
Dimensions: 235 x 155 x 20mm (L x W x T)
Format: Paperback
Pages: 374
Edition: XI, 371p.
ISBN-13: 978-3-540-00141-6
Categories: Books > Computing & IT > Computer programming > General
Books > Computing & IT > Computer communications & networking > General
LSN: 3-540-00141-7
Barcode: 9783540001416

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners