FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Pasta blanda
2008, ISBN: 354068235X
[EAN: 9783540682356], Nieuw boek, [SC: 14.08], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; UML (EDV); CONSTRAINT; PROGRAMMINGLANGUAGEA; DESIGN; FO… Más…
AbeBooks.co.uk AHA-BUCH GmbH, Einbeck, Germany [51283250] [Beoordeling: 5 (van 5)] NEW BOOK. Gastos de envío: EUR 14.08 Details... |
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - libro nuevo
2008, ISBN: 354068235X
2008 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, UML (EDV), Computerhardware, Computerprogrammierung und Softwareentwicklung, Software Engineering, Th… Más…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Gastos de envío:Geen versendingskosten in Duitsland. (EUR 0.00) Details... |
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Pasta blanda
2008, ISBN: 354068235X
[EAN: 9783540682356], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], FORMAL METHOD,PROGRAMMING,CONSTRAINT,DESIGN,REAL-TIME,PROGRAMMING LANGUAGE,PROGRAMMING LANGUAGE A,VERIFIC… Más…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) Details... |
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - libro usado
2008, ISBN: 9783540682356
[PU: Springer Berlin], Neubindung, Buchumschlag und -rücken leicht geknickt, Auflage 2008 4430357/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberweisung, Kre… Más…
booklooker.de |
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - libro usado
2008, ISBN: 9783540682356
[PU: Springer Berlin], Neubindung, Buchumschlag und -rücken leicht geknickt, Auflage 2008 4430357/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberweisung, Pay… Más…
booklooker.de |
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Pasta blanda
2008, ISBN: 354068235X
[EAN: 9783540682356], Nieuw boek, [SC: 14.08], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; UML (EDV); CONSTRAINT; PROGRAMMINGLANGUAGEA; DESIGN; FO… Más…
Maibaum, Tom (Herausgeber); Cuellar, Jorge (Herausgeber):
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - libro nuevo2008, ISBN: 354068235X
2008 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, UML (EDV), Computerhardware, Computerprogrammierung und Softwareentwicklung, Software Engineering, Th… Más…
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Pasta blanda
2008
ISBN: 354068235X
[EAN: 9783540682356], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], FORMAL METHOD,PROGRAMMING,CONSTRAINT,DESIGN,REAL-TIME,PROGRAMMING LANGUAGE,PROGRAMMING LANGUAGE A,VERIFIC… Más…
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - libro usado
2008, ISBN: 9783540682356
[PU: Springer Berlin], Neubindung, Buchumschlag und -rücken leicht geknickt, Auflage 2008 4430357/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberweisung, Kre… Más…
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - libro usado
2008, ISBN: 9783540682356
[PU: Springer Berlin], Neubindung, Buchumschlag und -rücken leicht geknickt, Auflage 2008 4430357/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, Banküberweisung, Pay… Más…
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - FM 2008: Formal Methods
EAN (ISBN-13): 9783540682356
ISBN (ISBN-10): 354068235X
Tapa dura
Tapa blanda
Año de publicación: 2008
Editorial: Springer Berlin
436 Páginas
Peso: 0,672 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2008-06-11T06:35:52-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-07-20T12:13:16-06:00 (Mexico City)
ISBN/EAN: 354068235X
ISBN - escritura alterna:
3-540-68235-X, 978-3-540-68235-6
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: cue, séré, maibaum thomas
Título del libro: turku, formal methods software engineering, international symposium programming, come finland, maibaum, lecture notes computer science
Datos del la editorial
Autor: Jorge Cuellar; Tom Maibaum
Título: Lecture Notes in Computer Science; Programming and Software Engineering; FM 2008: Formal Methods - 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Editorial: Springer; Springer Berlin
436 Páginas
Año de publicación: 2008-05-08
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 436 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Constraint; Programming language A; design; formal method; programming; programming language; real-time; verification; Software Engineering; Computer Engineering and Networks; Programming Techniques; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computerhardware; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; Compiler und Übersetzer; EA
Session 1. Invited Talks.- Aspects and Formal Methods.- Getting Formal Verification into Design Flow.- Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems.- Simulation, Orchestration and Logical Clocks.- Session 2. Programming Language Analysis.- CoVaC: Compiler Validation by Program Analysis of the Cross-Product.- Lazy Behavioral Subtyping.- Checking Well-Formedness of Pure-Method Specifications.- Session 3. Verification.- Verifying Dynamic Pointer-Manipulating Threads.- Proofs and Refutations for Probabilistic Refinement.- Assume-Guarantee Verification for Interface Automata.- Session 4. Real-Time and Concurrency.- Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.- A Model Checking Language for Concurrent Value-Passing Systems.- Session 5. Grand Chellenge Problems.- Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.- Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.- Session 6. FM Practice.- Industrial Use of Formal Methods for a High-Level Security Evaluation.- Secret Ninja Formal Methods.- Specification and Checking of Software Contracts for Conditional Information Flow.- Session 7. Runtime Moitoring and Analysis.- JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.- Provably Correct Runtime Monitoring.- Session 8. Communication.- A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.- A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service.- Session 9. Constraint Analysis.- Constraint Prioritization for Efficient Analysis of Declarative Models.- Finding Minimal Unsatisfiable Cores of Declarative Specifications.- Precise Interval Analysis vs. Parity Games.- Session 10. Design.- Introducing Objects through Refinement.- Masking Faults While Providing Bounded-Time Phased Recovery.- Towards Consistent Specifications of Product Families.- Session 11. Industry Day.- Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution.- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.- Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.- Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone.- Safe and Reliable Metro Platform Screen Doors Control/Command Systems.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9783540682370 FM 2008: Formal Methods (Jorge Cuellar; Tom Maibaum)
- 9783540682370 FM 2008: Formal Methods (Jorge Cuellar; Tom Maibaum)
- 9783540863939 Fm 2008 (Cuellar Jorge)
- 9783319175232 NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings Klaus Havelund Editor (Herausgegeben:Holzmann, Gerard; Joshi, Rajeev; Havelund, Klaus)
< para archivar...