Search results for ‘Martin D Davis,Elaine J Weyuker’

Filter & Refine

      Cover image for A Formal Notion of Program-Based Test Data Adequacy
      Hardback
      Add to list Added to list

      A Formal Notion of Program-Based Test Data Adequacy

      Martin D Davis,Elaine J Weyuker

      This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the…

      $80.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
      Hardback
      Add to list Added to list

      Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

      Martin Davis (Courant Institute of Mathematical Sciences of New York University, New York, U.S.A.),Ron Sigal (Consultant, New Haven, Connecticut, U.S.A.),Elaine J. Weyuker (AT&T Labs Research, Florham Park, New Jersey, U.S.A.)

      This introductory text covers the key areas of computer science, including recursive function theory, formal languages and automata.

      $273.99

      Available to order, ships in approx 2 weeksAvailable to order