Gå direkt till innehållet
Fields of Logic and Computation II
Spara

Fields of Logic and Computation II

Lägsta pris på PriceRunner
Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.
Undertitel
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Upplaga
1st ed. 2015
ISBN
9783319235332
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2015-08-27
Sidor
319