新生學校財團法人新生醫護管理專科學校圖書館 |

Language: English

Back

Reasoning about program transformati...

Collard, Jean-Fran簙ois.

Reasoning about program transformations : = imperative programming and flow of data /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Reasoning about program transformations :/ Jean-Fran簙ois Collard.
Reminder of title:	imperative programming and flow of data /
Author:	Collard, Jean-Fran簙ois.
Published:	New York :Springer, : 2003,
Description:	xviii, 237 p. :ill. ; : 25 cm.;
Subject:	Programming languages (Electronic computers) -
ISBN:	0387953914 (alk. paper) :

Reasoning about program transformations : = imperative programming and flow of data /
Collard, Jean-Fran簙ois.

Reasoning about program transformations :imperative programming and flow of data /Jean-Fran簙ois Collard. - New York :Springer,2003 - xviii, 237 p. :ill. ;25 cm.

Includes bibliographical references (p. 229-235) and index.

ISBN: 0387953914 (alk. paper) :新台幣2481

LCCN: 2002017378Subjects--Topical Terms:

87542
Programming languages (Electronic computers)

LC Class. No.: QA76.7 / .C645 2003

Dewey Class. No.: 005.13

Reasoning about program transformations : = imperative programming and flow of data /
LDR:00648cam0 22001931 450L 001 61254
003 DLC
005 20050309144125.0
008 09051510s2003 nyua b 001 0 eng
010 $a 2002017378
019 $a 978 2002017781
020 $a 0387953914 (alk. paper) : $c 新台幣2481
035 $a 1062691
040 $a DLC $c DLC $d DLC
050 0 0 $a QA76.7 $b .C645 2003
082 0 0 $a 005.13 $2 21
100 $a Collard, Jean-Fran簙ois. $3 97421
245 1 0 $a Reasoning about program transformations : $b imperative programming and flow of data / $c Jean-Fran簙ois Collard.
260 $a New York : $c 2003 $b Springer,
300 $a xviii, 237 p. : $b ill. ; $c 25 cm.
504 $a Includes bibliographical references (p. 229-235) and index.
650 $a Programming languages (Electronic computers) $3 87542