Formal specification and software development View on Open Library

Formal specification and software development

by D. Bjørner

No reviews yet
First published: 1982 1 language ISBN: 0133290034
Subjects
Computer software Development 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 Computer software
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz
Software Engineering

Software Engineering

Roger S. Pressman
Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon
The C Programming Language

The C Programming Language

Brian W. Kernighan
Mastering today's software

Mastering today's software

Edward G. Martin
Introducing Computers

Introducing Computers

Robert H. Blissmer