FM 2006 : Formal Methods View on Open Library

FM 2006 : Formal Methods

by Jayadev Misra , Tobias Nipkow , Emil Sekerinski

No reviews yet
First published: 2006 1 language ISBN: 9783540372165
Subjects
Application software, development

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Jayadev Misra

Theories of Programming

Theories of Programming

Effective Theories in Programming Practice

Effective Theories in Programming Practi...

Chanda Jha

Chanda Jha

A Discipline of Multiprogramming

A Discipline of Multiprogramming

A Discipline of Multiprogramming

A Discipline of Multiprogramming

FM 2006

FM 2006

You Might Also Like

More in Application software...
Patterns

Patterns

IBM Redbooks
Advances in Computers

Advances in Computers

Atif Memon
Flash Mobile

Flash Mobile

Matthew David
SAS(R) 9.1.3 Intelligence Platform

SAS(R) 9.1.3 Intelligence Platform

SAS Publishing
IEEE standard for information technology

IEEE standard for information technology

Institute of Electrical and Electronics Engineers
Android tablets for dummies

Android tablets for dummies

Dan Gookin