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 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings

Language EnglishEnglish
Book Paperback
Book Formal Techniques for Networked and Distributed Systems - FORTE 2004 David de Frutos-Escrig
Libristo code: 01559882
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2004
This book constitutes the refereed proceedings of the 24th 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

Terminalserver Mit Citrix Metaframe XP Thomas Joos / Book Paperback
common.buy 55.29 €
Ils ont éclairé mon chemin Louis Nucéra / Book Paperback
common.buy 33.59 €
Mon cahier Mariage new Louisa Khalfa-Elfki / Book Paperback
common.buy 11.49 €
Stèle pour le sous-lieutenant Grunberg Benoît Rayski / Book Paperback
common.buy 19.69 €
Langenscheidt Der große Audio-Wortschatztrainer Französisch / Digital Digital
common.buy 11.49 €
Ernährungsratgeber Morbus Crohn und Colitis ulcerosa Sven-David Müller / Book Paperback
common.buy 16.95 €
Les hommes de bonne volonte Tome 1 Jules Romains / Book Paperback
common.buy 40.19 €
Slonica koja je izgubila sreću Ajahn Brahm / Book Paperback
common.buy 19.29 €
Madre! PADILLA / Book Hardback
common.buy 27.89 €
Die Lehrerschelte Gustav Keller / Book Paperback
common.buy 27.99 €
Suffrage des femmes dans tous les pays Alice Zimmern / Book Paperback
common.buy 21.79 €
Dionysi Halicarnasensis Antiquitatum Romanarum Quae Supersunt, Volume 3 Dionysius / Book Paperback
common.buy 33.69 €
Allgemeine Encyclopaedie der Wissenschaften und Kuenste Johann S. Ersch / Book Paperback
common.buy 26.00 €
Albert jede domů Homer Hickam / Book Hardback
common.buy 12.19 €
Les Petits Bollandistes: Vies Des Saints. T. XIII, Du 28 Octobre Au 30 Novembre (Ed.1876) Paul Guerin / Book Paperback
common.buy 33.99 €
Affordable
SYMPATIE K ĎÁBLU Justin Gustainis / Book Book
common.buy 4.39 €
Guantanamo. Rechtlicher Status der Inhaftierten Veronika V / Book Paperback
common.buy 17.95 €
Richterin Conrad Ferdinand Meyer / Book Paperback
common.buy 5.19 €
Musikunterricht an einem Deutsch-Franzoesischen Gymnasium. Bericht uber das Orientierungspraktikum Jakob Timm / Book Paperback
common.buy 18.95 €
Essai Sur Le Vocalisme Du Sogdien. These Complementaire Pour Le Doctorat Es Lettres Presentee Gauthiot-R / Book Paperback
common.buy 13.99 €
El Kama Sutra: Esencia Erotoca de la India Bret Norton / Book Paperback
common.buy 24.29 €
Entre el autoritarismo y la democracia : los procesos electorales en el Magreb PAREJO / Book Paperback
common.buy 28.19 €
Jak pokonalam raka Monika Godlewska / Book Paperback
common.buy 5.39 €

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004.The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.

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 2004
Author David de Frutos-Escrig, Manuel Nunez
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 382
EAN 9783540232520
ISBN 3540232524
Libristo code 01559882
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1210
Dimensions 155 x 235 x 22

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Aquatic and Wetland Plants of Southwestern United States Donovan Stewart Correll / Book Hardback
common.buy 87.49 €
Romance of Private Life Clark / Book Paperback
common.buy 65.89 €
Permanent Sovereignty over Natural Resources Marc Bungenberg / Book Paperback
common.buy 101.79 €
El cultivo de la anguila Atsushi Usui / Book Paperback
common.buy 11.59 €
Poetry Book - Abyss of Bliss (Love Poems About Life, Poems About Love, Inspirational Poems, Friendship Poems, Romantic Poems, I love You Poems, Poetry Nerissa Marie / Book Paperback
common.buy 10.29 €
Income Investing Secrets: How to Receive Ever-Growing Dividend and Interest Checks, Safeguard Your Portfolio and Retire Wealthy Richard Stooker / Book Paperback
common.buy 22.79 €
Make Money Coloring, A Subliminal Adult Coloring Book: Volume 1 Stephen E Jorgensen / Book Paperback
common.buy 8.79 €
Development of a Mechanism Operated Agriculture Sprayer Ronak Jakasania / Book Paperback
common.buy 31.69 €
Modes of Bio-Bordering Rafaela Granja / Book Hardback
common.buy 55.49 €
Tentmaking KRUGER / Book Hardback
common.buy 30.39 €
Drauga - Ahrimanian Yatuk Dinoih Michael W. Ford / Book Paperback
common.buy 21.69 €
Chappell Roan: A Little Golden Book Biography Maria Lia Malandrino / Book Hardback
common.buy 5.89 €
Top
The Woman / Video Blu-ray
common.buy 11.79 €
Huckleberry Finn Jens Hoffmann / Book Hardback
common.buy 35.09 €
Choice, Welfare, and Development Basu / Book Hardback
common.buy 141.69 €
Recent Developments in Nonstationary Analysis George Trevino / Book Hardback
common.buy 75.49 €
Dyke Swarms - Time Markers of Crustal Evolution E. Hanski / Book Hardback
common.buy 285.49 €
Efficient Algorithms for Listing Combinatorial Structures Leslie Ann Goldberg / Book Hardback
common.buy 152.29 €
Fundamentals of Refractory Technology - Ceramics Transactions V125 Bennett / Book Paperback
common.buy 142.59 €
THE SPANISH REGIME IN MISSOURI V2: A COL LOUIS HOUCK / Book Hardback
common.buy 53.39 €
Just How Dumb Do You Think I Am? Samuel Goodwin / Book Paperback
common.buy 18.39 €
Halibut Karen Barnaby / Book Paperback
common.buy 21.79 €
Dietetic and Hygienic Gazette, Volume 22 Anonymous / Book Hardback
common.buy 47.49 €

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?