Keywords:
Logic design
;
Logic, Symbolic and mathematical
;
Computer science
;
Compilers (Computer programs).
;
Machine theory.
;
Computer programming.
;
Mathematical logic.
;
Mathematical Logic and Formal Languages
;
Programming Techniques
;
Computer Science
;
Mathematical Logic and Foundations
;
Logics and Meanings of Programs
;
Programming Languages, Compilers, Interpreters
;
Deva
;
Deva
Description / Table of Contents:
Informal introduction to Deva -- Stepwise definition of Deva -- Formalization of basic theories -- Case study on VDM-style developments -- Case study on algorithm calculation -- Conclusion.
Type of Medium:
Online Resource
Pages:
Online-Ressource (XI, 246 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540480679
Series Statement:
Lecture notes in computer science 738
URL:
http://www.springerlink.com/content/k60270204855
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-57335-7
URL:
http://dx.doi.org/10.1007/3-540-57335-6
URL:
https://doi.org/10.1007/3-540-57335-6
URL:
https://zbmath.org/?q=an:0788.68003
DOI:
10.1007/3-540-57335-6
Language:
English
Note:
Literaturverz. S. [242] - 246
Permalink