Book serie: / Книги серии: Advances in Formal Methods 1 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Advances in Formal Methods 1

book The Object-Z Specification Language

The Object-Z Specification Language

djvu

Author: Graeme Smith (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

djvu

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

djvu

Author: Joseph A. Goguen Timothy Winkler José Meseguer Kokichi Futatsugi (auth.) Joseph Goguen Grant Malcolm (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-aided reasoning: ACL2 case studies

Computer-aided reasoning: ACL2 case studies

djvu

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Software Engineering with OBJ: Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action

pdf

Author: Joseph A. Goguen Timothy Winkler José Meseguer Kokichi Futatsugi (auth.) Joseph Goguen Grant Malcolm (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-Aided Reasoning: ACL2 Case Studies

Computer-Aided Reasoning: ACL2 Case Studies

pdf

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

pdf

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book The Object-Z Specification Language

The Object-Z Specification Language

pdf

Author: Graeme Smith (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book The Object-Z Specification Language

The Object-Z Specification Language

pdf

Author: Graeme Smith
Language: English
Year: 1999

00

27.01.2024

0

0