- 5 Ergebnisse
Kleinster Preis: € 43,42, größter Preis: € 145,65, Mittelwert: € 71,17
1
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... Notes in Computer Science, 2767, Band 2767) - Wolisz, Adam, K??nig, Hartmut, Heiner, Monika
Bestellen
bei amazon.de
€ 57,15
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Wolisz, Adam, K??nig, Hartmut, Heiner, Monika:

Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... Notes in Computer Science, 2767, Band 2767) - Taschenbuch

2008, ISBN: 9783540201755

Springer, Taschenbuch, Auflage: 2003, 444 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.62 kg, Hardware & Technik, Computer & Internet, K… Mehr…

Versandkosten:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
2
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... Notes in Computer Science, 2767, Band 2767) - Wolisz, Adam, K??nig, Hartmut, Heiner, Monika
Bestellen
bei amazon.de
€ 51,98
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Wolisz, Adam, K??nig, Hartmut, Heiner, Monika:

Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... Notes in Computer Science, 2767, Band 2767) - Taschenbuch

2008, ISBN: 9783540201755

Springer, Taschenbuch, Auflage: 2003, 444 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.62 kg, Hardware & Technik, Computer & Internet, K… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
3
Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 - König, Hartmut (Herausgeber); Wolisz, Adam (Herausgeber); Heiner, Monika (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
König, Hartmut (Herausgeber); Wolisz, Adam (Herausgeber); Heiner, Monika (Herausgeber):
Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 - neues Buch

2003

ISBN: 3540201750

2003 Kartoniert / Broschiert Formalismus, Networking (EDV), Netz (EDV), Distributed Data Processing, Informationssystem / Verteiltes System, Verteiltes System (EDV), Betriebssysteme, So… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Bestellen
bei Biblio.co.uk
$ 46,65
(ca. € 43,42)
Versand: € 17,971
Bestellen
Details beim Anbieter
gesponserter Link
König, Hartmut [Editor]; Heiner, Monika [Editor]; Wolisz, Adam [Editor];:
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Lecture Notes in Computer Science) - Taschenbuch

2003, ISBN: 9783540201755

Springer, 2003-11-13. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and u… Mehr…

Versandkosten: EUR 17.97 GuthrieBooks
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 157,00
(ca. € 145,65)
Versand: € 26,261
Bestellen
Details beim Anbieter
gesponserter Link
König, Hartmut [Editor]; Heiner, Monika [Editor]; Wolisz, Adam [Editor];:
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... (Lecture Notes in Computer Science, 2767) - Taschenbuch

2003, ISBN: 9783540201755

Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing, Springer, 6

Versandkosten: EUR 26.26 SOUTHAUSTRALIANBOOKS
zuklappen (X)
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 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... Notes in Computer Science, 2767, Band 2767)
Autor:
Titel:
ISBN-Nummer:

9783540201755


This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

Detailangaben zum Buch - Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... Notes in Computer Science, 2767, Band 2767)


EAN (ISBN-13): 9783540201755
ISBN (ISBN-10): 3540201750
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer
448 Seiten
Gewicht: 0,672 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-03-26T14:06:46+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-05-14T16:06:34+02:00 (Berlin)
ISBN/EAN: 9783540201755

ISBN - alternative Schreibweisen:
3-540-20175-0, 978-3-540-20175-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: heiner könig, adam, springer, monika hein, monika aly, hartmut heine, paris
Titel des Buches: procedings, formal techniques for networked distributed systems forte 2003, dis 2003, computer, ifip, notes berlin, october, system

Daten vom Verlag:

Autor/in: Hartmut König; Monika Heiner; Adam Wolisz
Titel: Lecture Notes in Computer Science; Formal Techniques for Networked and Distributed Systems - FORTE 2003 - 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003
Verlag: Springer; Springer Berlin
429 Seiten
Erscheinungsjahr: 2003-09-23
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 429 p.

BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Internet; Multimedia; Quality of Service; Quality of Service (QoS); UNIX; algorithms; communication system; computer communications; distributed computing; distributed systems; model checking; modeling; security protocols; testing; verification; Computer Communication Networks; Software Engineering; Operating Systems; Computer Science Logic and Foundations of Programming; Software Engineering; Betriebssysteme; Theoretische Informatik; EA

UNIX STREAMS Generation from a Formal Specification.- Specifying and Realising Interactive Voice Services.- Vertical Reuse in the Development of Distributed Systems with FDTs.- Service-Oriented Systems Engineering: Modeling Services and Layered Architectures.- Validation of the Sessionless Mode of the HTTPR Protocol.- Generation of All Counter-Examples for Push-Down Systems.- Modeling and Model Checking Mobile Phone Payment Systems.- Behavioural Contracts for a Sound Assembly of Components.- Automatic Verification of Annotated Code.- Combating Infinite State Using Ergo.- Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems.- Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.- Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?.- How Stop and Wait Protocols Can Fail over the Internet.- Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.- A Lightweight Formal Analysis of a Multicast Key Management Scheme.- Formal Security Policy Verification of Distributed Component-Structured Software.- Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.- Concerning the Ordering of Adaptive Test Sequences.- Correct Passive Testing Algorithms and Complete Fault Coverage.- QoS Functional Testing for Multi-media Systems.- Towards Testing Stochastic Timed Systems.- Formal Design of Interactive Multimedia Documents.- Progressive Solutions to a Parallel Automata Equation.- Type Abstraction in Formal Protocol Specifications with Container Types.- Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems.- Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts.
< zum Archiv...