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
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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 125 b
51.78 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Libanon. Religionen: 1 : 350.000. (Lebanon. Religions) Hartmann Printed items Map
common.buy 52.18 €
Mystische Vollmondnächte (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 28.47 €
L'Arc de triomphe de l'Étoile Dominique Fernandes / Book Paperback
common.buy 12.35 €
Course à pied. S’entrainer à la sensation Billat / Book Paperback
common.buy 25.02 €
Pociąg do Imperium Maja Wolny / Book Paperback
common.buy 11.14 €
Communiquer et jouer par signes avec mon enfant Gilles Cotte / Book Paperback
common.buy 21.48 €
Le sacre des impies Ghislain Gilberti / Book Paperback
common.buy 28.57 €
Vorlesungen über neuere Geometrie Moritz Pasch / Book Paperback
common.buy 17.02 €
JE SUIS GROSSE KONIG MARINA / Book Paperback
common.buy 22.79 €
Passeggiata col cane Sven Nordqvist / Book Hardback
common.buy 22.59 €
Legge, soggetto ed eredità. Lezioni veronesi di psicoanalisi Massimo Recalcati / Book Paperback
common.buy 23.30 €
Narozena pod toulavou hvězdou Zuzana Kulhánková / Book Hardback
common.buy 7.19 €
Realita vesmíru Jan Blažej / Book Paperback
common.buy 5.36 €
100 Tipps für besseres Tauchen Thilo Künneth / Book Paperback
common.buy 10.23 €
Chancen und Grenzen der Beschulung von SuS mit Schadel-Hirn-Trauma Fabio Priano / Book Paperback
common.buy 16.21 €
Anlagenrecht Martin Kind / Book Paperback
common.buy 38.70 €
Ewalds Mathespielwiese Ewald Gronewold / Book Paperback
common.buy 20.56 €
Die sterbliche Seele der Freiheit Marco Buschmann / Book Hardback
common.buy 30.70 €
Lesen und Schreiben 1700 bis 1900 Alfred Messerli / Book Hardback
common.buy 238.56 €
Befristete Arbeitsverträge nach russischem und deutschem Recht Alexander Reinhardt / Book Paperback
common.buy 50.05 €
La serpiente emplumada D. H. Lawrence / Book Paperback
common.buy 31.81 €
Armin Heinrich Hofmann / Book Paperback
common.buy 11.75 €
68 chansons d'Amour: Textes de chansons Stephane Ternoise / Book Paperback
common.buy 12.86 €

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 103.16 €
Image Processing, Analysis and Machine Vision Milan Sonka / Book Paperback
common.buy 103.16 €
examination of the Rev. Mr. John Wesley's Primitive physic John Wesley / Book Paperback
common.buy 12.66 €
Last Chance to See Douglas Adams / Book Paperback
common.buy 14.28 €
Surfing on the Internet J. C. Herz / Book Paperback
common.buy 18.74 €
Practical Portfolio Performance Measurement and At tribution, 3rd Edition Carl R. Bacon / Book Hardback
common.buy 97.79 €
Goddess Planner - Undated Weekly, Monthly 8x 10 with Moon Journal, To-Do Lists, Self-Care and Habit Tracker Sze Wing Vetault / Book Hardback
common.buy 43.16 €
Kintsugi Wellness Candice Kumai / Book Hardback
common.buy 24.72 €
Transitions from Care to Independence DRISCOLL / Book Hardback
common.buy 240.18 €
Professor and Mrs. Whats-A-Ma-Call-It Go to London James Christopher Jackson / Book Hardback
common.buy 24.21 €
Dean's Demise Richard Fletcher / Book Paperback
common.buy 20.97 €
K9 Explosive and Mine Detection Resi Gerritsen / Book Paperback
common.buy 29.68 €
Evidence of Guilt: A Kali O'Brien Mystery Jonnie Jacobs / Book Paperback
common.buy 13.06 €
Catalogue of the Technical Reference Library of works on printing and the allied arts / Book Hardback
common.buy 50.36 €
Where Are the Donuts? ROGER ELLSWORTH / Book Paperback
common.buy 10.63 €
A1 Movers 3 Audio CDs / Audio Audio CD
common.buy 19.04 €
Grammar Choices for Graduate and Professional Writers Nigel A. Caplan / Book Paperback
common.buy 29.89 €
Egg Art Katya Trischuk / Book Paperback
common.buy 10.83 €
Complex Dimensions Brenda Murphy / Book Paperback
common.buy 12.86 €
Lloyd George: The Man And His Story Frank Dilnot / Book Hardback
common.buy 40.22 €
Coming soon
Egon Schiele Jane Kallir / Book Hardback
common.buy 26.44 €
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Book Hardback
common.buy 95.05 €
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.34 €
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Book Paperback
common.buy 114.61 €

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?