Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - Taschenbuch
2010, ISBN: 3642165605
[EAN: 9783642165603], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], FORMAL METHODS,LINUX,DISTRIBUTED SYSTEMS,EMBEDDED SYSTEMS,CROWDSOURCING,CONCEPT WEB,PACEMAKER,FORMAL ANAL… Mehr…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II 2010 - gebrauchtes Buch
2010, ISBN: 9783642165603
2010 Neubindung, Buchrücken leicht eingerissen, Part 2 9526513/12 Versandkostenfreie Lieferung formal methods,Linux,distributed systems,embedded systems,crowdsourcing,concept Web,Pacemake… Mehr…
buchfreund.de |
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - gebrauchtes Buch
2010, ISBN: 9783642165603
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Part 2 9526513/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPal,… Mehr…
booklooker.de |
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - gebrauchtes Buch
2010, ISBN: 9783642165603
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Part 2 9526513/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, PayPal, Klarna-Sofor… Mehr…
booklooker.de |
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - gebrauchtes Buch
2010, ISBN: 9783642165603
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Part 2 9526513/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisung, Int… Mehr…
booklooker.de |
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - Taschenbuch
2010, ISBN: 3642165605
[EAN: 9783642165603], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], FORMAL METHODS,LINUX,DISTRIBUTED SYSTEMS,EMBEDDED SYSTEMS,CROWDSOURCING,CONCEPT WEB,PACEMAKER,FORMAL ANAL… Mehr…
Margaria, Tiziana und Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II 2010 - gebrauchtes Buch2010, ISBN: 9783642165603
2010 Neubindung, Buchrücken leicht eingerissen, Part 2 9526513/12 Versandkostenfreie Lieferung formal methods,Linux,distributed systems,embedded systems,crowdsourcing,concept Web,Pacemake… Mehr…
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - gebrauchtes Buch
2010
ISBN: 9783642165603
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Part 2 9526513/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPal,… Mehr…
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - gebrauchtes Buch
2010, ISBN: 9783642165603
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Part 2 9526513/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, PayPal, Klarna-Sofor… Mehr…
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II - gebrauchtes Buch
2010, ISBN: 9783642165603
[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Part 2 9526513/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisung, Int… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Leveraging Applications of Formal Methods, Verification, and Validation
EAN (ISBN-13): 9783642165603
ISBN (ISBN-10): 3642165605
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
498 Seiten
Gewicht: 0,724 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2009-03-21T10:53:57+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-09-30T09:30:55+02:00 (Berlin)
ISBN/EAN: 9783642165603
ISBN - alternative Schreibweisen:
3-642-16560-5, 978-3-642-16560-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: margaria, bernhard spring, springer
Titel des Buches: validation, isola, crete, applications, symposium, notes and methods, lecture notes computer science
Daten vom Verlag:
Autor/in: Tiziana Margaria; Bernhard Steffen
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Verlag: Springer; Springer Berlin
498 Seiten
Erscheinungsjahr: 2010-10-19
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XV, 498 p. 157 illus.
BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Informatik; Internet; Linux; Pacemaker; business process modeling; classification; cloud computing; collaboration; colored petri nets; concept Web; crowdsourcing; distributed systems; embedded systems; formal analysis; formal methods; formal modeling; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Software Engineering; Compilers and Interpreters; Computer and Information Systems Applications; Data Mining and Knowledge Discovery; Theoretische Informatik; Software Engineering; Compiler und Übersetzer; Angewandte Informatik; Data Mining; Wissensbasierte Systeme, Expertensysteme; EA
EternalS: Mission and Roadmap.- to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge.- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods.- SecureChange: Security Engineering for Lifelong Evolvable Systems.- 3DLife: Bringing the Media Internet to Life.- LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling.- Task Forces in the EternalS Coordination Action.- Modeling and Analyzing Diversity.- Modeling and Managing System Evolution.- Self-adaptation and Evolution by Learning.- Overview of Roadmapping by EternalS.- Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing.- Adaptive Composition of Conversational Services through Graph Planning Encoding.- Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.- Error Handling: From Theory to Practice.- Modeling and Reasoning about Service Behaviors and Their Compositions.- Design and Verification of Systems with Exogenous Coordination Using Vereofy.- A Case Study in Model-Based Adaptation of Web Services.- Quantitative Verification in Practice.- Quantitative Verification in Practice.- Ten Years of Performance Evaluation for Concurrent Systems Using CADP.- Towards Dynamic Adaptation of Probabilistic Systems.- UPPAAL in Practice: Quantitative Verification of a RapidIO Network.- Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.- Model-Checking Temporal Properties of Real-Time HTL Programs.- CONNECT: Status and Plans.- Towards an Architecture for Runtime Interoperability.- On Handling Data in Automata Learning.- A Theory of Mediators for Eternal Connectors.- On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring.- Dependability Analysis and Verification for Connected Systems.- Towards a Connector Algebra.- Certification of Software-Driven Medical Devices.- Certification of Software-Driven Medical Devices.- Arguing for Software Quality in an IEC 62304 Compliant Development Process.- Trustable Formal Specification for Software Certification.- Design Choices for High-Confidence Distributed Real-Time Software.- Assurance Cases in Model-Driven Development of the Pacemaker Software.- Modeling and Formalizing Industrial Software for Verification, Validation and Certification.- Improving Portability of Linux Applications by Early Detection of Interoperability Issues.- Specification Based Conformance Testing for Email Protocols.- Covering Arrays Generation Methods Survey.- Resource and Timing Analysis.- A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems.- Verification of Printer Datapaths Using Timed Automata.- Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models – A Real-World Example.- Source-Level Support for Timing Analysis.- Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code.- Worst-Case Analysis of Heap Allocations.- Partial Flow Analysis with oRange.- Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems.- Context-Sensitivity in IPET for Measurement-Based Timing Analysis.- On the Role of Non-functional Properties in Compiler Verification.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030837228 Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (Tiziana Margaria; Bernhard Steffen)
- 9783030837228 Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo (Tiziana Margaria; Bernhard Steffen)
- 9783642165573 Leveraging Applications of Formal Methods, Verification, and Validation (Margaria, Tiziana|Steffen, Bernhard)
< zum Archiv...