Logic and Specification: Extending VDM-SL for Advanced Formal Specification (Computer Science : Research and Practice)
5 Angebote vergleichen
Bester Preis: € 0,92 (vom 14.11.2016)1
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
EN US
ISBN: 9780412486807 bzw. 0412486806, in Englisch, Chapman & Hall, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, Better World Books Ltd.
Chapman & Hall. Used - Very Good. Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Your purchase also supports literacy charities.
Von Händler/Antiquariat, Better World Books Ltd.
Chapman & Hall. Used - Very Good. Ships from the UK. Former Library book. Great condition for a used book! Minimal wear. 100% Money Back Guarantee. Your purchase also supports literacy charities.
2
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice) (1993)
EN HC US FE
ISBN: 9780412486807 bzw. 0412486806, in Englisch, 404 Seiten, Chapman & Hall, gebundenes Buch, gebraucht, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, zubal-book.
The author provides an account of formal specification in an industrial setting. The volume takes a particular approach to the semantics of specification languages: the understanding that the meaning of specifications can be taken as presentations of logical theories is fundamental to that approach. An extension of the specification language VDM-SL is introduced and the formal semantics of VVSL are presented. The practical use of this language is further demonstrated by two detailed case studies which provide a comprehensive picture of the relational approach to databases and are essential reading for those employing formal specifications in software development. Hardcover, Ausgabe: 1st English Language Ed, Label: Chapman & Hall, Chapman & Hall, Produktgruppe: Book, Publiziert: 1993-02, Studio: Chapman & Hall, Verkaufsrang: 9744843.
Von Händler/Antiquariat, zubal-book.
The author provides an account of formal specification in an industrial setting. The volume takes a particular approach to the semantics of specification languages: the understanding that the meaning of specifications can be taken as presentations of logical theories is fundamental to that approach. An extension of the specification language VDM-SL is introduced and the formal semantics of VVSL are presented. The practical use of this language is further demonstrated by two detailed case studies which provide a comprehensive picture of the relational approach to databases and are essential reading for those employing formal specifications in software development. Hardcover, Ausgabe: 1st English Language Ed, Label: Chapman & Hall, Chapman & Hall, Produktgruppe: Book, Publiziert: 1993-02, Studio: Chapman & Hall, Verkaufsrang: 9744843.
3
Logic and Specification: Extending VDM-SL for Advanced Formal Specification (Computer Science : Research and Practice) (1993)
EN HC
ISBN: 9780412486807 bzw. 0412486806, in Englisch, Chapman & Hall, gebundenes Buch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Zubal Books.
Chapman & Hall, 1993. 404 pp., Hardcover, spine damaged, small hand stamp to bottom edge else good+.
Von Händler/Antiquariat, Zubal Books.
Chapman & Hall, 1993. 404 pp., Hardcover, spine damaged, small hand stamp to bottom edge else good+.
4
LOGIC AND SPECIFICATION
EN US
ISBN: 9780412486807 bzw. 0412486806, in Englisch, Chapman & Hall, Vereinigtes Königreich Großbritannien und Nordirland, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, indianaabooks.
Used - Very Good. Very good condition.
Von Händler/Antiquariat, indianaabooks.
Used - Very Good. Very good condition.
Lade…