Kaikki kirjat 25 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Spec Sharp: Programming Language, Active Oberon, AgentSheets -

englanti
2026-03-26
254,75 € 339,66 €

-25% koodilla BOOKS

Toimittajalla varastossa

Toimitus 15-21 arkipäivässä

30 päivän palautusoikeus

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and postconditions. Like ESC/Java, it includes a static checking tool based on a ... Täydellinen kuvaus

Saatat myös pitää

Kuvaus

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and postconditions. Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants. It also includes a variety of other minor extensions to the language, such as non-null reference types.

Lisätietoja

Julkaisija OmniScriptum
Julkaisuvuosi 2026
Kannen tyyppi Pehmeäkantinen
EAN 9786133202801
Kirjoita oma arvostelusi
Arvostelet: Spec Sharp: Programming Language, Active Oberon, AgentSheets
Arvostelusi:

Goodreads-arvostelut

254,75 € 339,66 €