Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Logics of Specification Languages Dines Bjorner

Logics of Specification Languages

Autor: Dines Bjorner, M. C. Henson
Jazyk: Angličtina
Vazba: Pevná
Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnost: Skladem u dodavatele
Odesíláme za 10-13 dnů
3 426 Kč
By a specification language we understand a formal system of syntax, semantics and proof rules. The...

Informace o knize

Autor
Dines Bjorner, M. C. Henson
Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2007
Stránek
624
EAN
9783540741060
ISBN
3540741062
Enbook ID
01569007
Vydavatel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnost
1136
Rozměry
155 x 235 x 40

Kompletní popis

By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. 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. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.§With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages.

Mohlo by vás zajímat

G.K. Chesterton, London and Modernity

Matthew Beaumont
4 138 Kč

Contextual Subjects

Robert Leckey
2 295 Kč

Future Cities

Nick Dunn
833 Kč

Sir Walter, the Earl of Chatham: Or Call Your Next Case

H F Chub Seawell Jr
706 Kč

Riff

Philip Nanton
305 Kč

Artania - The Pharaoh's Cry

LAURIE WOODWARD
388 Kč

Gap Papa: Daddy at Work and at Home Vol. 2

Utakata
292 Kč

Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems

Wei Cheng
3 654 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Celebrity

Zuzana Bubílková
195 Kč

COMPREHENSION ORALE 2 + CD AUDIO

Michele Barféty
445 Kč

Ardent Troughton. Tome 1

Marryat-F
565 Kč

Kendi Rüyasinda Uyanan Dervis

Güven Adigüzel
315 Kč

Castles of Scotland

Andrew Powell-Thomas
373 Kč