• Anglický jazyk

Logics of Specification Languages

Autor: Martin C. Henson

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... Viac o knihe

Na objednávku, dodanie 2-4 týždne

148.49 €

bežná cena: 164.99 €

O knihe

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.

  • Vydavateľstvo: Springer Berlin Heidelberg
  • Rok vydania: 2007
  • Formát: Hardback
  • Rozmer: 241 x 160 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783540741060

Generuje redakčný systém BUXUS CMS spoločnosti ui42.