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…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2004, ISBN: 3540232524
[EAN: 9783540232520], Neubuch, [PU: Springer Berlin Heidelberg], NETWORKING (EDV) NETZ DISTRIBUTED DATA PROCESSING INFORMATIONSSYSTEM VERTEILTES SYSTEM AUTOMAT JAVA UNIFIEDMODELINGLANGUAG… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
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…
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…
2004, ISBN: 3540232524
[EAN: 9783540232520], Neubuch, [PU: Springer Berlin Heidelberg], NETWORKING (EDV) NETZ DISTRIBUTED DATA PROCESSING INFORMATIONSSYSTEM VERTEILTES SYSTEM AUTOMAT JAVA UNIFIEDMODELINGLANGUAG… Mehr…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540201755 Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- Octo (Hartmut König)
- 9783540201755 Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- Octo (Hartmut König)
- 9783540291893 Formal Techniques for Networked and Distributed Systems - FORTE 2005 by Farn Wang Paperback | Indigo Chapters (Farn Wang)
- 9783540001416 Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2 (Doron A. Peled; Moshe Y. Vardi)
- [(Formal Techniques for Networked and Distributed Systems - Forte 2003 : 23rd Ifip WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003)] [Volume editor Hartmut König ] published on (December, 2003) (Hartmut König)
- Formal Techniques for Networked and Distributed Systems - FORTE 2007 (John Derrick & Jüri Vain)
< zum Archiv...