Stock image for illustration purposes only - book cover, edition or condition may vary.
Fields of Logic and Computation
. Ed(S): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang
€ 128.21
FREE Delivery in Ireland
Description for Fields of Logic and Computation
Paperback. This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics - representing only a fraction of Gurevich's multiple areas of interest. Editor(s): Blass, Andreas; Dershowitz, Nachum; Reisig, Wolfgang. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 627 pages, 49 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 24. Weight in Grams: 900.
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. In May 2010, Yuri celebrated his 70th birthday. To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) and of the ... Read more
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. In May 2010, Yuri celebrated his 70th birthday. To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) and of the ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
627
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
627
Place of Publication
Berlin, Germany
ISBN
9783642150241
SKU
V9783642150241
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Fields of Logic and Computation