Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Refinement in Z and Object-Z

Foundations and Advanced Applications

Produktform: E-Buch Text Elektronisches Buch in proprietärem


This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Verlag: Springer London, Auflage 2, 492 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 30.08.2013

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Refinement in Z and Object-Z

Foundations and Advanced Applications

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer London, 466 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 06.12.2012

139,09 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 263 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 02.08.2003

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 263 Seiten

Erscheinungsdatum: 26.06.2002

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Refinement in Z and Object-Z

Foundations and Advanced Applications

Produktform: Buch / Einband - fest (Hardcover)


This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Verlag: Springer London, Auflage 2, 492 Seiten

Erscheinungsdatum: 12.09.2013

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Refinement in Z and Object-Z

Foundations and Advanced Applications

Produktform: Buch / Einband - flex.(Paperback)


This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Verlag: Springer London, Auflage 2, 492 Seiten

Erscheinungsdatum: 23.08.2015

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Refinement

Semantics, Languages and Applications

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer International Publishing, 269 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 03.09.2018

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Refinement

Semantics, Languages and Applications

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 269 Seiten

Erscheinungsdatum: 14.09.2018

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel