Hoppa till sidans huvudinnehåll

Advances in Formal Methods – serie

Visar alla böcker i serien Advances in Formal Methods.
6 produkter
Joseph A. Goguen, Grant Malcolm - Software Engineering with OBJ, Inbunden

Software Engineering with OBJ

Algebraic Specification in Action

AvJoseph A. Goguen,Grant Malcolm

Inbunden, Engelska, 2000

2 909 kr

Skickas inom 10-15 vardagar

Matt Kaufmann, Panagiotis Manolios, J Strother Moore - Computer-Aided Reasoning, Inbunden

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manoliosm. fl.

Inbunden, Engelska, 2000

2 909 kr

Skickas inom 10-15 vardagar

Graeme Smith - Object-Z Specification Language, Inbunden

Object-Z Specification Language

AvGraeme Smith

Inbunden, Engelska, 1999

2 909 kr

Skickas inom 10-15 vardagar

Joseph A. Goguen, Grant Malcolm - Software Engineering with OBJ, Häftad

Software Engineering with OBJ

Algebraic Specification in Action

AvJoseph A. Goguen,Grant Malcolm

Häftad, Engelska, 2010

2 909 kr

Skickas inom 10-15 vardagar

Matt Kaufmann, Panagiotis Manolios, J Strother Moore - Computer-Aided Reasoning, Häftad

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manoliosm. fl.

Häftad, Engelska, 2010

2 909 kr

Skickas inom 10-15 vardagar

Graeme Smith - Object-Z Specification Language, Häftad

Object-Z Specification Language

AvGraeme Smith

Häftad, Engelska, 2012

2 909 kr

Skickas inom 10-15 vardagar