2003, ISBN: 9783540478843
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. eBooks, eBook Download (PDF), The third in a series of international conferences on Integrated Form… Plus…
lehmanns.de Frais d'envoiDownload sofort lieferbar. (EUR 0.00) Details... |
2002, ISBN: 9783540478843
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the … Plus…
Springer.com Nr. 978-3-540-47884-3. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00) Details... |
2002, ISBN: 9783540478843
Integrated Formal Methods ab 92.99 € als pdf eBook: Third International Conference IFM 2002 Turku Finland May 15-18 2002. Proceedings.. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Com… Plus…
Hugendubel.de Nr. 33535386. Frais d'envoi, , DE. (EUR 0.00) Details... |
Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - nouveau livre
2002, ISBN: 9783540478843
; PDF; Computing > Computer programming / software development > Programming & scripting languages: general, Springer Berlin Heidelberg
hive.co.uk No. 9783540478843. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
2002, ISBN: 9783540478843
Integrated Formal Methods - Third International Conference IFM 2002 Turku Finland May 15-18 2002. Proceedings.: ab 92.99 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer Be… Plus…
eBook.de Frais d'envoiin stock, , , DE. (EUR 0.00) Details... |
2003, ISBN: 9783540478843
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. eBooks, eBook Download (PDF), The third in a series of international conferences on Integrated Form… Plus…
2002, ISBN: 9783540478843
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the … Plus…
2002
ISBN: 9783540478843
Integrated Formal Methods ab 92.99 € als pdf eBook: Third International Conference IFM 2002 Turku Finland May 15-18 2002. Proceedings.. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Com… Plus…
Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - nouveau livre
2002, ISBN: 9783540478843
; PDF; Computing > Computer programming / software development > Programming & scripting languages: general, Springer Berlin Heidelberg
2002, ISBN: 9783540478843
Integrated Formal Methods - Third International Conference IFM 2002 Turku Finland May 15-18 2002. Proceedings.: ab 92.99 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer Be… Plus…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Integrated Formal Methods
EAN (ISBN-13): 9783540478843
Date de parution: 2002
Editeur: Springer Berlin Heidelberg
Livre dans la base de données depuis 2017-04-25T08:01:20+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-03T12:05:32+02:00 (Paris)
ISBN/EAN: 9783540478843
ISBN - Autres types d'écriture:
978-3-540-47884-3
Autres types d'écriture et termes associés:
Auteur du livre: butler, meier hans
Titre du livre: finland
Données de l'éditeur
Auteur: Michael Butler; Luigia Petre; Kaisa Sere
Titre: Lecture Notes in Computer Science; Integrated Formal Methods - Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Editeur: Springer; Springer Berlin
401 Pages
Date de parution: 2003-08-01
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 401 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Simulation; Unified Modeling Language (UML); algorithm; algorithms; design; distributed systems; formal method; model checking; modeling; petri net; real-time; semantics; system development; verification; C; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Theory of Computation; Software Engineering; Programming Techniques; Computer Science; Theoretische Informatik; Software Engineering; Computerprogrammierung und Softwareentwicklung; BC
Invited Talk: Eran Gery.- Rhapsody: A Complete Life-Cycle Model-Based Development System.- Integration, Simulation, Animation.- An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.- Stochastic Process Algebras Meet Eden.- From Specifcation to Verifcation.- From Implicit Specifications to Explicit Designs in Reactive System Development.- Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.- Assume-Guarantee Algorithms for Automatic Detection of Software Failures.- Statecharts and B: Integration and Translation.- Contributions for Modelling UML State-Charts in B.- Translating Statecharts to B.- Invited Talk: Shmuel Katz.- A Framework for Translating Models and Specifications.- Model Checkers and Theorem Provers.- Model Checking Object-Z Using ASM.- Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.- Formally Linking MDG and HOL Based on a Verified MDG System.- Links between Object-Z and CSP.- Refinement in Object-Z and CSP.- Combining Specification Techniques for Processes, Data and Time.- An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.- Invited Talk: Stuart Kent.- Model Driven Engineering.- Combining Graphical and Formal Approaches.- The Design of a Tool-Supported Graphical Notation for Timed CSP.- Combining Graphical and Formal Development of Open Distributed Systems.- Translations between Textual Transition Systems and Petri Nets.- Refinement and Proof.- Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.- Minimally and Maximally Abstract Retrenchments.Includes supplementary material: sn.pub/extras
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783030349677 Integrated Formal Methods by Wolfgang Ahrendt Paperback | Indigo Chapters (Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa)
- 9783030349677 Integrated Formal Methods by Wolfgang Ahrendt Paperback | Indigo Chapters (Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa)
- 9783030349684 Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings Wolfgang Ahrendt Editor (Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa)
- 9783319101804 Integrated Formal Methods (Elvira Albert; Emil Sekerinski)
- 9783540437031 Integrated Formal Methods (Michael Butler)
< pour archiver...