The Vienna development method View on Open Library

The Vienna development method

by D. Bjørner , Jones, C. B.

No reviews yet
First published: 1978 1 language ISBN: 0387087666
Subjects
ML (Computer program language) Programming languages (Electronic computers)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by D. Bjørner

Logics of specification languages

Logics of specification languages

Formal methods in programming and their applications

Formal methods in programming and their ...

Formal methods and hybrid real-time systems

Formal methods and hybrid real-time syst...

Software engineering

Software engineering

The theory of the finite state syntax directed transductions

The theory of the finite state syntax di...

The Vienna development method

The Vienna development method

You Might Also Like

More in ML (Computer program...
Categories and computer science

Categories and computer science

R. F. C. Walters
The Standard ML basis library

The Standard ML basis library

John H. Reppy
Concurrent Programming in ML

Concurrent Programming in ML

John H. Reppy
The definition of standard ML

The definition of standard ML

R. Milner
Elementary Standard ML

Elementary Standard ML

Greg Michaelson
The functional approach to programming

The functional approach to programming

Guy Cousineau