Perspectives of System InformaticsNikolaj Bjørner

Perspectives of System Informatics

Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov · 2015

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: 2015
Language: English
Publisher: Springer London, Limited
Editions: 6
Pages: 415
ISBN: 9783662468234

Data source: Wikidata

More by Nikolaj Bjørner

FM 2015 : Formal MethodsNikolaj Bjørner

FM 2015 : Formal Methods

Nikolaj Bjørner · 2015

Automated Deduction -- CADE-23Nikolaj Bjørner

Automated Deduction -- CADE-23

Nikolaj Bjørner · 2011