Sökt på: Böcker av J.T. Schwartz
totalt 7 träffar
Set Theory for Computing
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems …
Programming with Sets
The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem bers are LISP, APL, SNOBOL, and …
Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J.T. Schwartz
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 original …
The Double
A groundbreaking examination of the “double” in modern and contemporary artFrom ancient mythology to contemporary cinema, the motif of the double—which repeats, duplicates, …
Set Theory for Computing
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems …
Programming with Sets
The programming language SETL is a relatively new member of the so-called "e;very-high-level"e; class of languages, some of whose other well-known mem- bers are LISP, APL, …
Set Theory for Computing
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems …