Studies in automatic programming logic /

Bibliographic Details
Main Author: Manna, Zohar, 1939-
Other Authors: Waldinger, Richard
Format: Book
Language:English
Published: New York : North-Holland, 1977
Series:The computer science library.
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 arcduce
005 20231127224341.0
008 150304s1977 nyu||||| |||| 00| 0 eng d
020 |a 0444002243 
040 |a arcduce  |c arcduce 
082 0 |2 21  |a 00.1642 
100 1 |9 6093  |a Manna, Zohar,   |d 1939- 
245 1 0 |a Studies in automatic programming logic /   |c Zohar Manna, Richard Waldinger. 
260 |a New York :  |b North-Holland,  |c 1977 
300 |a viii, 192 p. 
490 0 |a The computer science library.  |p Artificial intelligence series 
504 |a Bibliografía: p. 181-185 
505 0 |a 1. Reasoning about programs -- 2. Logical analysis of programs -- 3. Knowledge and reasoning in program synthesis. 
650 4 |a PROGRAMAS DE COMPUTADORA  |9 76 
650 4 |a ANALISIS DE SISTEMAS  |9 3696 
653 4 |a DINAMICA DE SISTEMAS 
700 1 |9 6094  |a Waldinger, Richard 
942 |2 ddc  |c LIBR  |j 001.642 M 31798 
945 |a JLD  |c 2015-03-04 
952 |0 0  |1 0  |2 ddc  |4 0  |6 001_164200000000000_M_31798  |7 0  |9 32454  |a BMB  |b BMB  |d 2015-03-04  |l 0  |o 001.1642 M 31798  |p 31798  |r 2015-03-04 00:00:00  |w 2015-03-04  |y LIBR 
999 |c 24231  |d 24231