FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Livro de bolso
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… mais…
AbeBooks.co.uk AHA-BUCH GmbH, Einbeck, Germany [51283250] [Beoordeling: 5 (van 5)] NEW BOOK. Custos de envio: EUR 14.08 Details... |
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - nuovo livro
2008, ISBN: 354068235X
2008 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, UML (EDV), Computerhardware, Computerprogrammierung und Softwareentwicklung, Software Engineering, Th… mais…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio: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 - Livro de bolso
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… mais…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - livro 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… mais…
booklooker.de |
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - livro 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… mais…
booklooker.de |
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Livro de bolso
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… mais…
Maibaum, Tom (Herausgeber); Cuellar, Jorge (Herausgeber):
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - nuovo livro2008, ISBN: 354068235X
2008 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, UML (EDV), Computerhardware, Computerprogrammierung und Softwareentwicklung, Software Engineering, Th… mais…
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Livro de bolso
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… mais…
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - livro 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… mais…
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - livro 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… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - FM 2008: Formal Methods
EAN (ISBN-13): 9783540682356
ISBN (ISBN-10): 354068235X
Livro de capa dura
Livro de bolso
Ano de publicação: 2008
Editor/Editora: Springer Berlin
436 Páginas
Peso: 0,672 kg
Língua: eng/Englisch
Livro na base de dados desde 2008-06-11T08:35:52-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-07-20T15:13:16-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540682356
Número ISBN - Ortografia alternativa:
3-540-68235-X, 978-3-540-68235-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: cue, séré, maibaum thomas
Título do livro: turku, formal methods software engineering, international symposium programming, come finland, maibaum, lecture notes computer science
Dados da editora
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
Editora: Springer; Springer Berlin
436 Páginas
Ano de publicação: 2008-05-08
Berlin; Heidelberg; DE
Língua: 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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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 arquivar...