Logics of specification languages View on Open Library

Logics of specification languages

by D. Bjørner , Martin C. Henson

No reviews yet
First published: 2007 1 language ISBN: 9783540741077
Subjects
Symbolic and mathematical Logic Semantics Programming languages (Electronic computers) Logic design Information theory Computer science Software engineering Logic, symbolic and mathematical 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

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...

Formal specification and software development

Formal specification and software develo...

Baltic computer science

Baltic computer science

The Vienna development method

The Vienna development method

Software engineering

Software engineering

You Might Also Like

More in Symbolic and mathema...
Tractatus logico-philosophicus

Tractatus logico-philosophicus

Ludwig Wittgenstein
An Investigation of the Laws of Thought (Barnes & Noble)

An Investigation of the Laws of Thought ...

George Boole
Algèbre de la logique

Algèbre de la logique

Louis Couturat
The Game of Logic

The Game of Logic

Lewis Carroll
Gödel's proof

Gödel's proof

Ernest Nagel
Philosophische Untersuchungen

Philosophische Untersuchungen

Ludwig Wittgenstein