img Leseprobe Leseprobe

Logics of Specification Languages

Martin C. Henson (Hrsg.), Dines Bjørner (Hrsg.)

PDF
ca. 203,29
Amazon iTunes Thalia.de Weltbild.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer Berlin img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Informatik

Beschreibung

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.

In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Weitere Titel von diesem Autor

Kundenbewertungen

Schlagwörter

Formal specification languages, Formal methods, Programming techniques, Duration Calculus, ASM (Abstract State Machines), Bjørner, Event-B and B specification language, Logic, RSL (RAIS, CafeOBJ, CASL (Common Algebraic Specification Language), Proof rules