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

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

inglise keel
2026-03-26
134,72 € 224,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. Algebraic specification is a formal process of refining specifications to systematically develop more efficient programs. If one considers an algebraic specification of the Booleans the constructors can be true and false. In that case all other connectives, such as ^ and _, may be ... 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. Algebraic specification is a formal process of refining specifications to systematically develop more efficient programs. If one considers an algebraic specification of the Booleans the constructors can be true and false. In that case all other connectives, such as ^ and _, may be considered to be additional functions. Alternatively, also the combination of false and ¬ can be considered constructors. In that case true may be considered an additional function. In the context of the description of state and state change one may think of the sort as the set of possible states (not necessarily all of them can occur in practice) and one may think of the functions as being useful for describing the state changes that may occur.

Lisateave

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

Goodreads'i arvustused

134,72 € 224,53 €