Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Networked and Distributed Systems - FORTE 2002 Doron A. Peled
Libristo code: 01555972
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2002
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on F... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Le sacre des impies Ghislain Gilberti / Book Paperback
common.buy 29.69 €
L'Arc de triomphe de l'Étoile Dominique Fernandes / Book Paperback
common.buy 12.99 €
Course à pied. S’entrainer à la sensation Billat / Book Paperback
common.buy 25.89 €
Pociąg do Imperium Maja Wolny / Book Paperback
common.buy 13.19 €
Libanon. Religionen: 1 : 350.000. (Lebanon. Religions) Hartmann Printed items Map
common.buy 53.69 €
Vorlesungen über neuere Geometrie Moritz Pasch / Book Paperback
common.buy 17.89 €
Die sterbliche Seele der Freiheit Marco Buschmann / Book Hardback
common.buy 31.99 €
JE SUIS GROSSE KONIG MARINA / Book Paperback
common.buy 23.69 €
Mystische Vollmondnächte (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 31.99 €
Narozena pod toulavou hvězdou Zuzana Kulhánková / Book Hardback
common.buy 7.49 €
Realita vesmíru Jan Blažej / Book Paperback
common.buy 5.59 €
Chancen und Grenzen der Beschulung von SuS mit Schadel-Hirn-Trauma Fabio Priano / Book Paperback
common.buy 17.95 €
Anlagenrecht Martin Kind / Book Paperback
common.buy 40.19 €
Ewalds Mathespielwiese Ewald Gronewold / Book Paperback
common.buy 22.90 €
68 chansons d'Amour: Textes de chansons Stephane Ternoise / Book Paperback
common.buy 13.39 €
Lesen und Schreiben 1700 bis 1900 Alfred Messerli / Book Hardback
common.buy 247.79 €
Befristete Arbeitsverträge nach russischem und deutschem Recht Alexander Reinhardt / Book Paperback
common.buy 56.00 €
La serpiente emplumada D. H. Lawrence / Book Paperback
common.buy 36.09 €
Armin Heinrich Hofmann / Book Paperback
common.buy 12.90 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Techniques for Networked and Distributed Systems - FORTE 2002
Author Doron A. Peled, Moshe Y. Vardi
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 374
EAN 9783540001416
ISBN 3540001417
Libristo code 01555972
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1200
Dimensions 155 x 235 x 21

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Globalization, Economic Growth and Innovation Dynamics Paul J. J. Welfens / Book Hardback
common.buy 107.29 €
Image Processing, Analysis and Machine Vision Milan Sonka / Book Paperback
common.buy 107.29 €
Lloyd George: The Man And His Story Frank Dilnot / Book Hardback
common.buy 41.59 €
Last Chance to See Douglas Adams / Book Paperback
common.buy 14.99 €
Surfing on the Internet J. C. Herz / Book Paperback
common.buy 19.59 €
Catalogue of the Technical Reference Library of works on printing and the allied arts / Book Hardback
common.buy 52.59 €
Kintsugi Wellness Candice Kumai / Book Hardback
common.buy 25.99 €
Transitions from Care to Independence DRISCOLL / Book Hardback
common.buy 231.49 €
Professor and Mrs. Whats-A-Ma-Call-It Go to London James Christopher Jackson / Book Hardback
common.buy 25.09 €
Dean's Demise Richard Fletcher / Book Paperback
common.buy 21.99 €
K9 Explosive and Mine Detection Resi Gerritsen / Book Paperback
common.buy 31.19 €
examination of the Rev. Mr. John Wesley's Primitive physic John Wesley / Book Paperback
common.buy 13.19 €
Complex Dimensions Brenda Murphy / Book Paperback
common.buy 13.49 €
Evidence of Guilt: A Kali O'Brien Mystery Jonnie Jacobs / Book Paperback
common.buy 13.59 €
Egg Art Katya Trischuk / Book Paperback
common.buy 11.39 €
Where Are the Donuts? ROGER ELLSWORTH / Book Paperback
common.buy 11.19 €
Coming soon
A1 Movers 3 Audio CDs / Audio Audio CD
common.buy 19.79 €
Grammar Choices for Graduate and Professional Writers Nigel A. Caplan / Book Paperback
common.buy 31.09 €
Coming soon
Egon Schiele Jane Kallir / Book Hardback
common.buy 27.89 €
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Book Hardback
common.buy 98.29 €
The Empath's Self-Care Journal: 52 Weeks of Prompts, Practices, and Positive Affirmations to Help You Thrive Mishka Clavijo Kimball / Book Paperback
common.buy 11.89 €
Teleportation Accident Ned Beauman / Book Paperback
common.buy 12.49 €
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Book Paperback
common.buy 118.29 €
Environmental Adaptations and Stress Tolerance of Plants in the Era of Climate Change Parvaiz Ahmad / Book Hardback
common.buy 209.99 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?