- 5 Ergebnisse
Kleinster Preis: € 55,60, größter Preis: € 108,28, Mittelwert: € 84,61
1
Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - Manuel Nunez
Bestellen
bei ZVAB.com
€ 78,74
Versand: € 0,001
Bestellengesponserter Link
Manuel Nunez:

Formal Techniques for Networked and Distributed Systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - Taschenbuch

2004, ISBN: 3540232524

[EAN: 9783540232520], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], NETWORKING (EDV); NETZ DISTRIBUTED DATA PROCESSING; INFORMATIONSSYSTEM / VERTEILTES SYSTEM; SYSTEM AUTOMAT; JAV… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Formal Techniques for Networked and Distributed Systems - FORTE 2004 by David de Frutos-Escrig Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 151,95
(ca. € 105,73)
Bestellengesponserter Link
Formal Techniques for Networked and Distributed Systems - FORTE 2004 by David de Frutos-Escrig Paperback | Indigo Chapters - neues Buch

2004, ISBN: 9783540232520

This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004),held in Madrid, Spain, Septem… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Formal Techniques for Networked and Distributed Systems - FORTE 2004 by David de Frutos-Escrig Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 142,95
(ca. € 108,28)
Bestellengesponserter Link
Formal Techniques for Networked and Distributed Systems - FORTE 2004 by David de Frutos-Escrig Paperback | Indigo Chapters - neues Buch

2004

ISBN: 9783540232520

This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004),held in Madrid, Spain, Septem… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
4
Formal Techniques for Networked and Distributed Systems - FORTE 2004 - Frutos-Escrig, David de|Nunez, Manuel
Bestellen
bei AbeBooks.de
€ 74,71
Versand: € 0,001
Bestellengesponserter Link
Frutos-Escrig, David de|Nunez, Manuel:
Formal Techniques for Networked and Distributed Systems - FORTE 2004 - Taschenbuch

2004, ISBN: 3540232524

[EAN: 9783540232520], Neubuch, [PU: Springer Berlin Heidelberg], NETWORKING (EDV) NETZ DISTRIBUTED DATA PROCESSING INFORMATIONSSYSTEM VERTEILTES SYSTEM AUTOMAT JAVA UNIFIEDMODELINGLANGUAG… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
5
Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th  IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - Nunez, Manuel (Herausgeber); Frutos-Escrig, David De (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
Nunez, Manuel (Herausgeber); Frutos-Escrig, David De (Herausgeber):
Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - neues Buch

2004, ISBN: 3540232524

2004 Kartoniert / Broschiert Networking (EDV), Netz (EDV), Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Betriebssysteme, Software Engine… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Techniques for Networked and Distributed Systems - FORTE 2004 by David de Frutos-Escrig Paperback | Indigo Chapters

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.

Detailangaben zum Buch - Formal Techniques for Networked and Distributed Systems - FORTE 2004 by David de Frutos-Escrig Paperback | Indigo Chapters


EAN (ISBN-13): 9783540232520
ISBN (ISBN-10): 3540232524
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: David de Frutos-Escrig
392 Seiten
Gewicht: 0,591 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-24T15:20:01+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-25T21:06:37+01:00 (Berlin)
ISBN/EAN: 9783540232520

ISBN - alternative Schreibweisen:
3-540-23252-4, 978-3-540-23252-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: toledo, group, nunez
Titel des Buches: notes, techniques, madrid, distributed systems, forte, went spain, international international, science, september


Daten vom Verlag:

Autor/in: David de Frutos-Escrig; Manuel Nunez
Titel: Lecture Notes in Computer Science; Formal Techniques for Networked and Distributed Systems - FORTE 2004 - 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
Verlag: Springer; Springer Berlin
382 Seiten
Erscheinungsjahr: 2004-09-21
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 382 p.

BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Informatik; Automat; Java; Unified Modeling Language (UML); algorithms; automata; distributed systems; petri net; routing; Computer Communication Networks; Software Engineering; Computer Science Logic and Foundations of Programming; Operating Systems; Software Engineering; Theoretische Informatik; Betriebssysteme; EA

Invited Talks.- A Logical Account of NGSCB.- Composing Event Constraints in State-Based Specification.- Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.- Regular Papers.- Parameterized Models for Distributed Java Objects.- Towards the Harmonisation of UML and SDL.- Localizing Program Errors for Cimple Debugging.- Formal Verification of a Practical Lock-Free Queue Algorithm.- Formal Verification of Web Applications Modeled by Communicating Automata.- Towards Design Recovery from Observations.- Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.- Connectivity Testing Through Model-Checking.- Fault Propagation by Equation Solving.- Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.- Formal Composition of Distributed Scenarios.- Conditions for Resolving Observability Problems in Distributed Testing.- Integrating Formal Verification with Mur? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.- Witness and Counterexample Automata for ACTL.- A Symbolic Symbolic State Space Representation.- Introducing the Iteration in sPBC.- Petri Net Semantics of the Finite ?-Calculus.- Symbolic Diagnosis of Partially Observable Concurrent Systems.- Automatized Verification of Ad Hoc Routing Protocols.- A Temporal Logic Based Framework for Intrusion Detection.

< zum Archiv...