Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules by Wim H. Hesselink

Hesselink, Wim H.
Call Number
001.642 H46P
Author
Hesselink, Wim H.
Title
Programs, recursion and unbounded choice predicate-transformation semantics and transformation rules by Wim H. Hesselink
Publication
New Delhi: Cambridge University Press, 1995 [2005].
Physical Description
xiii, 223 p.
Series
Cambridge tracts in theoretical computer science v. 27
Subject
COMPUTER PROGRAMMING.
Total Ratings: 0
Location Call Number Barcode Item Class Units Copy Number Status  
IGM Library 001.642 H46P 334428 Books 1 Available
 
 
 
00854nam a2200217   4500
001
 
 
vtls001599464
003
 
 
VRT
005
 
 
20240610104000.0
008
 
 
230208                       00    eng 
020
$a 9780521018296
039
9
$a 202406101040 $b Pad $c 202406101023 $d Madhu $c 202406101023 $d Madhu $y 202302081032 $z dutt
082
$a 001.642 $b H46P
100
1
$a Hesselink, Wim H.
245
1
$a Programs, recursion and unbounded choice $b predicate-transformation semantics and transformation rules $c by Wim H. Hesselink
260
$a New Delhi: $b Cambridge University Press, $c 1995 [2005].
300
$a xiii, 223 p.
440
1
$a Cambridge tracts in theoretical computer science $v v. 27
504
$a Includes bibliographical references and index.
650
0
$a COMPUTER PROGRAMMING.
999
$a VIRTUA4
999
$a VTLSSORT0080*0200*0820*1000*2450*2600*3000*4400*5040*6500*9992
No Reviews to Display
Subject
COMPUTER PROGRAMMING.