ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

AvMarina Walden,Steve King

E-bok

PDF, Engelska, 2003

1 455 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utgivningsdatum:2003-08-03
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783540448808
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

Du kanske också är intresserad av

ZB 2002: Formal Specification and Development in Z and B

Ken Robinson, Martin C. Henson, Jonathan P. Bowen, Didier Bert

E-bok

2003

710 kr

ZB 2003: Formal Specification and Development in Z and B

Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén

Häftad, 2003

1 124 kr

ZB 2000: Formal Specification and Development in Z and B

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King

Häftad, 2000

566 kr

ZB 2000: Formal Specification and Development in Z and B

Steve King, Andy Galloway, Steve Dunne, Jonathan P. Bowen

E-bok

2003

739 kr

ZB 2002: Formal Specification and Development in Z and B

Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson

Häftad, 2002

549 kr

Recent Trends in Algebraic Development Techniques

Peter Mosses, Christine Choppy, Didier Bert

E-bok

2004

732 kr

High Performance Computing for Computational Science - VECPAR 2002

Marina Walden, A. Augusto Sousa, Vicente Hernandez, Jack Dongarra, Jose M.L.M. Palma

E-bok

2003

1 413 kr

Recent Trends in Algebraic Development Techniques

Didier Bert, Christine Choppy, Peter Mosses

Häftad, 2000

566 kr

High Performance Computing for Computational Science - VECPAR 2002

José M.L.M. Palma, Jack Dongarra, Vicente Hernández, A. Augusto Sousa, Marina Waldén

Häftad, 2003

1 124 kr

Prevention and Contingencies

Steve King

E-bok

2020

53 kr