Von dem Buch Formal Methods in Standards: A Report from the B.C.S. Working Group (Paperback) haben wir 3 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Clive L.N. Ruggles, Patrick Hall, Derek Andrews, Rick Thomas, Clive Ruggles, Ann Wrightson, David Duce, Robert Neely, David Blyt: Formal Methods in Standards: A Report from the B.C.S. Working Group (Paperback) (ISBN: 9783540195771) 1990, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
53%: Clive L.N. Ruggles; Derek Andrews; David Blyth; Cornelia Boldyreff; David Duce; Patrick Hall; Robert Neely; Clive Ruggles; Nik Tet: Formal Methods in Standards : A Report from the BCS Working Group (ISBN: 9781447134190) in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
43%: C. L. N. Ruggles (Editor): Formal Methods in Standards A Report from the BCS Working Group 1990 Hardcover (ISBN: 9780387195773) 1990, Springer-Verlag, Erstausgabe, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Formal Methods in Standards: A Report from the B.C.S. Working Group (Paperback)
13 Angebote vergleichen
| Preise | 2014 | 2015 | 2016 |
|---|---|---|---|
| Schnitt | € 85,65 | € 89,02 | € 100,85 |
| Nachfrage |
1
Formal Methods in Standards: A Report from the Bcs Working Group (1990)
EN PB NW FEISBN: 9780387195773 bzw. 0387195777, in Englisch, 135 Seiten, Springer-Verlag, Taschenbuch, neu, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Wisepenny.
3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1 FDTs and FSLs for sequential software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1. 1 VDM (Vienna Development Method). . . . . . . . . . . . . . . . . . . . . 19 3. 2. 1. 2 Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 3 me too . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 4 HOS and AXES. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 5 Gist. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 6 Clear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 7 OBJ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 8 ACT ONE and ACT TWO. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 9 CIP-L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 10 LPG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 11 Larch. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 12 Logic languages-the Prolog family. . . . . . . . . . . . . . . . . . . 22 3. 2. 1. 13 Functional languages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3. 2. 2 FDTs and FSLs for concurrent software. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3. 2. 2. 1 LOTOS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3. 2. 2. 2 Estelle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 3 SDL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 4 ASN. l . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 5 TTCN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 2. 6 Gypsy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3 Graphical formalisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3. 1 Petri nets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3. 2 Higraphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 4 Less formal methods and notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 1 SADT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 2 Structured Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 3 SSADM and LSDM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 4 JSPandJSD. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 5 HDM and the SPECIAL language . . . . . . . . . . . . . . . . . . . . . . . . . . 27 3. 2. 4. 6 Structured analysis and design of real-time systems. . 27 3. 3 Support tools for FDTs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Paperback, Ausgabe: First Edition, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1990-11, Studio: Springer-Verlag, Verkaufsrang: 17269070.
Von Händler/Antiquariat, Wisepenny.
3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1 FDTs and FSLs for sequential software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3. 2. 1. 1 VDM (Vienna Development Method). . . . . . . . . . . . . . . . . . . . . 19 3. 2. 1. 2 Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 3 me too . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 4 HOS and AXES. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 5 Gist. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3. 2. 1. 6 Clear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 7 OBJ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 8 ACT ONE and ACT TWO. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 9 CIP-L. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 10 LPG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 11 Larch. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3. 2. 1. 12 Logic languages-the Prolog family. . . . . . . . . . . . . . . . . . . 22 3. 2. 1. 13 Functional languages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3. 2. 2 FDTs and FSLs for concurrent software. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3. 2. 2. 1 LOTOS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3. 2. 2. 2 Estelle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 3 SDL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 4 ASN. l . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3. 2. 2. 5 TTCN. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 2. 6 Gypsy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3 Graphical formalisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3. 1 Petri nets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 3. 2 Higraphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3. 2. 4 Less formal methods and notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 1 SADT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 2 Structured Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 3 SSADM and LSDM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 4 JSPandJSD. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3. 2. 4. 5 HDM and the SPECIAL language . . . . . . . . . . . . . . . . . . . . . . . . . . 27 3. 2. 4. 6 Structured analysis and design of real-time systems. . 27 3. 3 Support tools for FDTs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Paperback, Ausgabe: First Edition, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1990-11, Studio: Springer-Verlag, Verkaufsrang: 17269070.
3
Symbolbild
Formal Methods in Standards: A Report from the Bcs Working Group (1990)
EN PBISBN: 9780387195773 bzw. 0387195777, in Englisch, Springer, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1990-11. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1990-11. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
4
Symbolbild
Formal Methods in Standards: A Report from the B.C.S. Working Group (Paperback) (1990)
DE PB NW RPISBN: 9783540195771 bzw. 3540195777, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, The Book Depository EURO [60485773], London, United Kingdom.
Language: English Brand New Book ***** Print on Demand *****.3. 1 What are formal methods? .17 3. 2 A survey of formal methods .18 3. 2. 1 FDTs and FSLs for sequential software .18 3. 2. 1. 1 VDM (Vienna Development Method).19 3. 2. 1. 2 Z.20 3. 2. 1. 3 me too .20 3. 2. 1. 4 HOS and AXES.20 3. 2. 1. 5 Gist.20 3. 2. 1. 6 Clear .21 3. 2. 1. 7 OBJ.21 3. 2. 1. 8 ACT ONE and ACT TWO.21 3. 2. 1. 9 CIP-L.21 3. 2. 1. 10 LPG.21 3. 2. 1. 11 Larch.21 3. 2. 1. 12 Logic languages-the Prolog family.22 3. 2. 1. 13 Functional languages.22 3. 2. 2 FDTs and FSLs for concurrent software.22 3. 2. 2. 1 LOTOS.23 3. 2. 2. 2 Estelle.24 3. 2. 2. 3 SDL.24 3. 2. 2. 4 ASN. l .24 3. 2. 2. 5 TTCN.25 3. 2. 2. 6 Gypsy.25 3. 2. 3 Graphical formalisms .25 3. 2. 3. 1 Petri nets.25 3. 2. 3. 2 Higraphs .25 3. 2. 4 Less formal methods and notations .26 3. 2. 4. 1 SADT.26 3. 2. 4. 2 Structured Design .26 3. 2. 4. 3 SSADM and LSDM .26 3. 2. 4. 4 JSPandJSD.26 3. 2. 4. 5 HDM and the SPECIAL language .27 3. 2. 4. 6 Structured analysis and design of real-time systems. . 27 3. 3 Support tools for FDTs. Softcover reprint of the original 1st ed. 1990.
Language: English Brand New Book ***** Print on Demand *****.3. 1 What are formal methods? .17 3. 2 A survey of formal methods .18 3. 2. 1 FDTs and FSLs for sequential software .18 3. 2. 1. 1 VDM (Vienna Development Method).19 3. 2. 1. 2 Z.20 3. 2. 1. 3 me too .20 3. 2. 1. 4 HOS and AXES.20 3. 2. 1. 5 Gist.20 3. 2. 1. 6 Clear .21 3. 2. 1. 7 OBJ.21 3. 2. 1. 8 ACT ONE and ACT TWO.21 3. 2. 1. 9 CIP-L.21 3. 2. 1. 10 LPG.21 3. 2. 1. 11 Larch.21 3. 2. 1. 12 Logic languages-the Prolog family.22 3. 2. 1. 13 Functional languages.22 3. 2. 2 FDTs and FSLs for concurrent software.22 3. 2. 2. 1 LOTOS.23 3. 2. 2. 2 Estelle.24 3. 2. 2. 3 SDL.24 3. 2. 2. 4 ASN. l .24 3. 2. 2. 5 TTCN.25 3. 2. 2. 6 Gypsy.25 3. 2. 3 Graphical formalisms .25 3. 2. 3. 1 Petri nets.25 3. 2. 3. 2 Higraphs .25 3. 2. 4 Less formal methods and notations .26 3. 2. 4. 1 SADT.26 3. 2. 4. 2 Structured Design .26 3. 2. 4. 3 SSADM and LSDM .26 3. 2. 4. 4 JSPandJSD.26 3. 2. 4. 5 HDM and the SPECIAL language .27 3. 2. 4. 6 Structured analysis and design of real-time systems. . 27 3. 3 Support tools for FDTs. Softcover reprint of the original 1st ed. 1990.
5
Symbolbild
Formal Methods in Standards: A Report from the Bcs Working Group (1990)
EN PBISBN: 9780387195773 bzw. 0387195777, in Englisch, Springer-Verlag, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Springer-Verlag, 1990-11-01. First Edition. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.
Von Händler/Antiquariat, Ergodebooks.
Springer-Verlag, 1990-11-01. First Edition. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service.
6
Symbolbild
Formal Methods in Standards. A Report from the BCS Working Group (1990)
EN PBISBN: 9780387195773 bzw. 0387195777, in Englisch, Springer, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Zubal Books.
Springer, 1990. 135 pp., paperback, ex library, else text clean & binding tight.
Von Händler/Antiquariat, Zubal Books.
Springer, 1990. 135 pp., paperback, ex library, else text clean & binding tight.
7
Formal Methods in Standards
DE PB NWISBN: 9783540195771 bzw. 3540195777, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Lieferung aus: Deutschland, zzgl. Versandkosten, 3540195777.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Symbolbild
Formal Methods in Standards. A Report from the BCS Working Group (1990)
DE PB NWISBN: 9783540195771 bzw. 3540195777, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Symbolbild
Formal Methods in Standards: A Report from the BCS Working Group
DE USISBN: 9783540195771 bzw. 3540195777, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, gebraucht.
Von Händler/Antiquariat, BookSleuth [58350165], Sanford, NC, U.S.A.
Formal Methods in Standards: A Report from the BCS Working Group.
Formal Methods in Standards: A Report from the BCS Working Group.
Lade…