Vor Ort
Merkzettel Warenkorb
Produktbild: Formal Methods at the Crossroads. From Panacea to Foundational Support
Band 2757

Formal Methods at the Crossroads. From Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.11.2003

Herausgeber

Bernhard K. Aichernig + weitere

Verlag

Springer Berlin

Seitenzahl

462

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

715 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20527-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.11.2003

Herausgeber

Verlag

Springer Berlin

Seitenzahl

462

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

715 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-20527-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Methods at the Crossroads. From Panacea to Foundational Support
  • In Memoriam Armando Martín Haeberer.- In Memoriam Armando Martín Haeberer.- Work at UNU/IIST.- UNU and UNU/IIST.- Contract-Based Testing.- The Development of the RAISE Tools.- An Algebraic Approach to the VERILOG Programming.- Real-Time Systems Development with Duration Calculi: An Overview.- X2Rel: An XML Relation Language with Formal Semantics.- At the Crossroads.- Where, Exactly, Is Software Development?.- From Formal Techniques to Well-Founded Software Development Methods.- Towards the Verifying Compiler.- A Grand Challenge Proposal for Formal Methods: A Verified Stack.- “What Is an Infrastructure?” Towards an Informatics Answer.- A Formal Basis for Some Dependability Notions.- From Models to Software.- Multi-view Modeling of Software Systems.- An Executable Specification Language Based on Message Sequence Charts.- Graph-Based Models of Internetworking Systems.- Software Development by Refinement.- Formal Methods within a Totally Functional Approach to Programming.- Coordination Technologies for Just-in-Time Integration.- Real-Time Systems.- Real-Time Process Algebra and Its Applications.- Making Timed Automata Communicate.- A Tool Architecture for the Next Generation of Uppaal.- Verification.- Verification by Abstraction.- Combining Decision Procedures.- A Theory of Hints in Model Checking.- Type Systems for Concurrent Programs.