Tasuta kohaletoimetamine tellimustele üle 29 €
  • check 10+ miljonit raamatut
  • check Uued tooted iga päev
  • check Meid usaldab üle 1 miljoni kliendi
  • check Hea hind ja allahindlused
  • check Tarne üle kogu Euroopa

Common Algebraic Specification Language: Specification Language, Formal Specification, Formal Semantics of Programming Languages -

inglise keel
2026-03-26
128,12 € 213,53 €

-40% koodiga BOOKS

Meie tarnija laos

Saadetis 15-21 tööpäeva jooksul

30-päevane tagastamisõigus

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework Initiative, with the aim to subsume ma ... Täielik kirjeldus

Võib-olla meeldib sulle ka

Kirjeldus

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework Initiative, with the aim to subsume many existing specification languages. The four levels are orthogonal to each other. In particular, it is possible to use CASL structured and architectural specifications and libraries with logics other than CASL. For this purpose, the logic has to be formalized as an institution. This feature is also used by the CASL extensions.

Lisateave

Kirjastaja OmniScriptum
Väljalaskeaasta 2026
Kaanetüüp Pehme kaanega
EAN 9786133152335
Kirjuta oma arvustus
Te vaatate: Common Algebraic Specification Language: Specification Language, Formal Specification, Formal Semantics of Programming Languages
Teie hinnang:

Goodreads'i arvustused

128,12 € 213,53 €