Code: 01555972

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Name: Formal Techniques for Networked and Distributed Systems - FORTE 2002
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01555972
Price: 51.65 EUR
Availability: InStock
Author: Doron A. Peled
ISBN: 9783540001416

by Doron A. Peled, Moshe Y. Vardi

Language: English
Binding: Paperback
Number of pages: 374
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002
More about this

51.65 €

RRP: 55.93 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Tactical Periodization Vs Tactical Periodization
32.54 €
Buy
Last Chance to See
13.44 € -24 %
Buy
Egg Art
10.81 € -24 %
Buy
Grammar Choices for Graduate and Professional Writers
29.71 € -4 %
Buy
Egon Schiele
26.38 € -24 %
Pre-order
A1 Movers 3 Audio CDs
19 € -7 %
Buy
Kintsugi Wellness
23.04 € -27 %
Buy
Narozena pod toulavou hvězdou
6.76 € -17 %
Buy
Teleportation Accident
11.82 € -25 %
Buy
Practical Portfolio Performance Measurement and At tribution, 3rd Edition
92.69 € -4 %
Buy
Realita vesmíru
5.15 € -16 %
Buy
Pociąg do Imperium
12.63 € -15 %
Buy
Complex Dimensions
12.02 € -25 %
Buy
Passeggiata col cane
32.64 € -9 %
Buy
Vorlesungen über neuere Geometrie
16.97 € -1 %
Buy
Image Processing, Analysis and Machine Vision
102.90 € -7 %
Buy
K9 Explosive and Mine Detection
29.61 € -24 %
Buy
Goddess Planner - Undated Weekly, Monthly 8x 10 with Moon Journal, To-Do Lists, Self-Care and Habit Tracker
41.14 €
Buy
Chancen und Grenzen der Beschulung von SuS mit Schadel-Hirn-Trauma
16.17 € -10 %
Buy
Daily Wisdom for Men
26.38 € -9 %
Buy
The Empath's Self-Care Journal: 52 Weeks of Prompts, Practices, and Positive Affirmations to Help You Thrive
10.60 € -25 %
Buy
Blackett's War
14.65 € -28 %
Buy
Legge, soggetto ed eredità. Lezioni veronesi di psicoanalisi
23.04 €
Buy
Libanon. Religionen: 1 : 350.000. (Lebanon. Religions)
49.93 €
Buy
100 Tipps für besseres Tauchen
10.20 €
Buy
68 chansons d'Amour: Textes de chansons
12.22 € -6 %
Buy
Catalogue of the Technical Reference Library of works on printing and the allied arts
47.40 € -17 %
Buy
Environmental Adaptations and Stress Tolerance of Plants in the Era of Climate Change
201.07 € -9 %
Buy
Mystische Vollmondnächte (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender
28.40 € -12 %
Buy
L'Arc de triomphe de l'Étoile
12.32 €
Buy
Dean's Demise
19.60 € -25 %
Buy
Ewalds Mathespielwiese
20.51 € -11 %
Buy
Anlagenrecht
38.61 €
Buy
JE SUIS GROSSE
22.74 €
Buy
Lloyd George: The Man And His Story
38.20 € -1 %
Buy
examination of the Rev. Mr. John Wesley's Primitive physic
12.63 € -14 %
Buy
Le sacre des impies
28.50 €
Buy
Transitions from Care to Independence
239.58 €
Buy
La serpiente emplumada
34.97 €
Buy
Communiquer et jouer par signes avec mon enfant
21.42 €
Buy
Armin
11.72 € -10 %
Buy
Die sterbliche Seele der Freiheit
30.62 € -2 %
Buy
Evidence of Guilt: A Kali O'Brien Mystery
12.32 € -7 %
Buy
Professor and Mrs. Whats-A-Ma-Call-It Go to London
22.84 €
Buy
Lesen und Schreiben 1700 bis 1900
237.97 € -1 %
Buy
The Fundamentals of Guardianship: What Every Guardian Should Know, Second Edition
29.51 €
Buy
Assessment Issues in Child Neuropsychology
109.27 €
Buy
Raven, the Dove, and the Owl of Minerva
90.37 €
Buy
Globalization, Economic Growth and Innovation Dynamics
102.90 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Techniques for Networked and Distributed Systems - FORTE 2002

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer programming / software development

51.65 €

Full title: Formal Techniques for Networked and Distributed Systems - FORTE 2002
Subtitle: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Author: Doron A. Peled, Moshe Y. Vardi
Language: English
Binding: Paperback
Number of pages: 374
EAN: 9783540001416
ISBN: 3540001417
ID: 01555972
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1200 g
Dimensions: 235 × 155 × 21 mm
Date of publishing: 28. October 2002