Logics of specification languagesD. Bjørner

Logics of specification languages

D. Bjørner, Martin C. Henson · 2007

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2007
Language: English
Publisher: Springer
Editions: 5
Pages: 624
ISBN: 9783540741060

Data source: Wikidata

More by D. Bjørner

Perspectives of system informaticsD. Bjørner

Perspectives of system informatics

D. Bjørner · 2000

Formal methods and hybrid real-time systemsD. Bjørner

Formal methods and hybrid real-time systems

D. Bjørner · 2007

Formal methods in programming and their applicationsD. Bjørner

Formal methods in programming and their applications

D. Bjørner · 1993

The Vienna development methodD. Bjørner

The Vienna development method

D. Bjørner · 1978

The Vienna development methodD. Bjørner

The Vienna development method

D. Bjørner · 1978