Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures - nouveau livre
2002, ISBN: 9783540396567
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today.In order to construct such large systems in a systematic manner, the focus in the development methodolo… Plus…
| hive.co.uk No. 9783540396567. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
2002, ISBN: 9783540396567
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodol… Plus…
| Springer.com new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00) Details... |
2002, ISBN: 9783540396567
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodol… Plus…
| Springer.com Nr. 978-3-540-39656-7. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00) Details... |
2003, ISBN: 9783540396567
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin He… Plus…
| lehmanns.de Frais d'envoiDownload sofort lieferbar. (EUR 0.00) Details... |
Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures - nouveau livre
2002, ISBN: 9783540396567
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
| hive.co.uk No. 9783540396567. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures - nouveau livre
2002, ISBN: 9783540396567
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today.In order to construct such large systems in a systematic manner, the focus in the development methodolo… Plus…
Frank S.de Boer; Marcello Bonsangue; Susanne Graf; Willem-Paul de Roever:
Formal Methods for Components and Objects - nouveau livre2002, ISBN: 9783540396567
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodol… Plus…
2002
ISBN: 9783540396567
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodol… Plus…
2003, ISBN: 9783540396567
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin He… Plus…
Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures - nouveau livre
2002, ISBN: 9783540396567
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
Données bibliographiques du meilleur livre correspondant
| Auteur: | |
| Titre: | |
| ISBN: |
Informations détaillées sur le livre - Formal Methods for Components and Objects
EAN (ISBN-13): 9783540396567
Date de parution: 2002
Editeur: Springer Berlin Heidelberg
Livre dans la base de données depuis 2017-05-10T02:17:55+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-10T14:09:25+02:00 (Paris)
ISBN/EAN: 9783540396567
ISBN - Autres types d'écriture:
978-3-540-39656-7
Autres types d'écriture et termes associés:
Auteur du livre: boer, frank paul, marcel bon, roever
Titre du livre: international
Données de l'éditeur
Auteur: Frank S.de Boer; Marcello Bonsangue; Susanne Graf; Willem-Paul de Roever
Titre: Lecture Notes in Computer Science; Formal Methods for Components and Objects - First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Editeur: Springer; Springer Berlin
512 Pages
Date de parution: 2003-12-01
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 512 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Java; LSC; Middleware; UML; Unified Modeling Language (UML); component systems; components; formal methods; formal verification; inheritance; modeling; object; object technology; program construction; protocol verification; C; Software Engineering; Compilers and Interpreters; Operating Systems; Computer Science Logic and Foundations of Programming; Computer Science; Compiler und Übersetzer; Betriebssysteme; Theoretische Informatik; BC
A Tool-Supported Proof System for Multithreaded Java.- Abstract Behavior Types: A Foundation Model for Components and Their Composition.- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.- Live and Let Die: LSC-Based Verification of UML-Models.- Reactive Animation.- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software.- Equivalent Semantic Models for a Distributed Dataspace Architecture.- Java Program Verification Challenges.- ToolBus: The Next Generation.- High-Level Specifications: Lessons from Industry.- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification.- Finding Implicit Contracts in .NET Components.- From Co-algebraic Specifications to Implementation: The Mihda Toolkit.- A Calculus for Modeling Software Components.- Specification and Inheritance in CSP-OZ.- Model-Based Testing of Object-Oriented Systems.- Concurrent Object-Oriented Programs: From Specification to Code.- Design with Asynchronously Communicating Components.- Composition for Component-Based Modeling.- Games for UML Software Design.- Making Components Move: A Separation of Concerns Approach.Includes supplementary material: sn.pub/extras
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540203032 Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures Fra (Frank S.de Boer; Marcello Bonsangue; Susanne Graf; Willem-Paul de Roever)
- 9783540203032 Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures Fra (Frank S.de Boer; Marcello Bonsangue; Susanne Graf; Willem-Paul de Roever)
- 9783540229421 Formal Methods for Components and Objects (Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne)
- 9783540291312 Formal Methods for Components and Objects (Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne)
- [(Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures )] [Author: Frank S. de Boer] [Nov-2003] (Frank S. de Boer)
- Formal Methods for Components and Objects 2004
< pour archiver...