Items related to Formal Techniques for Networked and Distributed Systems...

Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... (Lecture Notes in Computer Science, 2767) - Softcover

 
9783540201755: Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... (Lecture Notes in Computer Science, 2767)

Synopsis

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ?ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i?cation and testing of communication systems and distributed systems, and the veri?cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Very Good
Ex-library paperback in very nice...
View this item

US$ 6.99 shipping within U.S.A.

Destination, rates & speeds

Search results for Formal Techniques for Networked and Distributed Systems...

Stock Image

König, Hartmut [Editor]; Heiner, Monika [Editor]; Wolisz, Adam [Editor];
Published by Springer, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTD1422636

Contact seller

Buy Used

US$ 47.54
Convert currency
Shipping: US$ 6.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Konig, Hartmut (EDT); Heiner, Monika; Wolisz, Adam (EDT)
Published by Springer, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5440209-n

Contact seller

Buy New

US$ 61.34
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020162414

Contact seller

Buy New

US$ 60.00
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Konig, Hartmut (EDT); Heiner, Monika; Wolisz, Adam (EDT)
Published by Springer, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 5440209

Contact seller

Buy Used

US$ 72.82
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540201755_new

Contact seller

Buy New

US$ 70.68
Convert currency
Shipping: US$ 16.18
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 448. Seller Inventory # 263093471

Contact seller

Buy New

US$ 86.77
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Konig, Hartmut (EDT); Heiner, Monika; Wolisz, Adam (EDT)
Published by Springer, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5440209-n

Contact seller

Buy New

US$ 70.67
Convert currency
Shipping: US$ 20.26
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Hartmut König
ISBN 10: 3540201750 ISBN 13: 9783540201755
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29-October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ve meetings of this long conference series were held in Paris, France (1998), Beijing, China (1999), Pisa, Italy (2000), Cheju Island, Korea (2001), and Houston, USA (2002). The 23rd FORTE conference was especially dedicated to the application of formal description techniques to practice, especially in the Internet and c- munication domain. The scope of the papers presented at FORTE 2003 covered the application of formal techniques, timed automata, FDT-based design, v- i cation and testing of communication systems and distributed systems, and the veri cation of security protocols. In addition, work-in-progress papers were presented which have been published in a separate volume. 448 pp. Englisch. Seller Inventory # 9783540201755

Contact seller

Buy New

US$ 64.41
Convert currency
Shipping: US$ 26.89
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 448 Illus. Seller Inventory # 5803008

Contact seller

Buy New

US$ 87.22
Convert currency
Shipping: US$ 8.78
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Konig, Hartmut (EDT); Heiner, Monika; Wolisz, Adam (EDT)
Published by Springer, 2003
ISBN 10: 3540201750 ISBN 13: 9783540201755
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 5440209

Contact seller

Buy Used

US$ 77.47
Convert currency
Shipping: US$ 20.26
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 4 more copies of this book

View all search results for this book