
  ×
  ![Buchcover ISBN 9783642182167]() 
  
From the reviews:„The Turing Test gives a comprehensive, in-depth and contemporary assessment of this classic topic in artificial intelligence. This book elaborates in detail the numerous conflicting points of view on many aspects of this multifaceted, controversial subject. … This volume is a valuable reading for research on the Turing test and for teaching undergraduate and graduate students in philosophy, computer science, and cognitive science.“ (Jörg Desel, Zentralblatt MATH, Vol. 1040 (9), 2004)„Borger and Stark do an admirable job of documention and extending a method for bridging the considerable gap between theoretical system models, which often only allow for toy systems to be modeled and require proofs to be done only by hand, and real-life systems and practices.“ (Shrisha, Rao, Ceda Rapids, IA, Computing Reviews, February, 2004)  
Abstract State Machines
A Method for High-Level System Design and Analysis
von Egon Börger und Robert StärkComprehensive overview about abstract state machines and their usage in software engineering Students will like the book because of detailed proofs, explanations, and exercises Professionals will like the book for its numerous real-world examples and case studies Includes supplementary material: sn. pub/extras



