Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

The Object-Z Specification Language

Name: The Object-Z Specification Language
Brand: Springer, Berlin
SKU: 05251212
Price: 205.49 EUR
Availability: InStock
Author: Graeme Smith
ISBN: 9780792386841

Graeme Smith

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 05251212

Nakladnici Springer, Berlin, studeni 1998

Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notion... Cijeli opis

Libristo kod: 05251212

498 b

205.49 €

Vanjske zalihe Šaljemo za 10-13 dana

Do 30 dana za povrat

Kupci su kupili i

Reinoldi Heidensteni Secr. Regii de Bello Moscouitico quod Stephanvs Rex Poloniae Gessit Commentariorvm Libri VI. Carl von Reifitz

Meki uvez

46.77 €

Die Blauen Boys Willy Lambil

Meki uvez

9.49 €

PACK ESPECIAL PUNTO DE TENDENCIA LABORES

Meki uvez

19.99 €

Weihnachtszeit, für Klavier Hans-Günter Heumann

Meki uvez

20.30 €

Moc zdrowych nawyków Stolińska Hanna

Meki uvez

10.60 €

Eins, Zwei, Drei, ganz Viele

Meki uvez

14.44 €

First Reader Erste englische Lesestucke Hella Leicht

Meki uvez

10.90 €

50-127a Stefan Smid

Tvrdi uvez

436.65 €

Die Aktualität von Gegenwartsliteratur in der heutigen Zeit am Beispiel von Koeppens Tauben im Gras Simon Winzer

Meki uvez

9.08 €

Lamiglowka zrecznosciowa Gear Cube

Igra

20.50 €

Dějiny ošklivosti Umberto Eco

Tvrdi uvez

33.73 €

EinFach Deutsch Unterrichtsmodelle Friedrich von Schiller

List

29.49 €

Ručne maľovaná cyklomapa Stredný a Horný Gemer

Mapa

3.53 €

Der Nießbrauch am privaten vermieteten Immobilienvermögen als steuerliches Gestaltungsinstrumentarium Sebastian Schmidt

Meki uvez

71.12 €

Wo? Gerhard Schöne

Knjiga

12.11 €

Opstellen Voor Dr. Jan DesChamps Ter Gelegenheid Van Zijn Zeventigste Verjaardag: Bibliografie, Handschriftenkunde, Miniatuurkunst E. Cockx-Indestege

Meki uvez

72.73 €

Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.