南開科技大學圖書館 |

Language: English

Back

Switch To: Labeled | MARC Mode | ISBD

Reasoning about program transformati...

Collard, Jean-Francois.

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

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

Reasoning about program transformations :imperative programming and flow of data /
Collard, Jean-Francois.

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

Includes bibliographical references and index.

ISBN: 0387953914 (hbk. : alk. paper) :NT2145

LCCN: 2002017378Subjects--Topical Terms:

149354
Programming languages (Electronic computers)

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

Dewey Class. No.: 005.13

Reasoning about program transformations :imperative programming and flow of data /
LDR:00657nam _22002058a_450 001 136459
003 DLC
005 20031020110514.0
008 020103s2003 nyua b 001 0 eng
010 $a 2002017378
020 $a 0387953914 (hbk. : alk. paper) : $c NT2145
035 $a 00074435
040 $a DLC $c DLC
042 $a pcc
050 0 0 $a QA76.7 $b .C645 2002
082 0 0 $a 005.13 $2 21
092 $a */005.13/C697/2003////E01043
100 1 $a Collard, Jean-Francois. $3 159404
245 1 0 $a Reasoning about program transformations : $b imperative programming and flow of data / $c Jean-Francois Collard.
260 $a New York : $b Springer, $c 2003.
300 $a xviii, 237 p. : $b ill. ; $c 25 cm.
504 $a Includes bibliographical references and index.
650 0 $a Programming languages (Electronic computers) $3 149354

館藏地: 出版年: 卷號:

館藏

此限制條件找不到符合的館藏，請您更換限制條件。

Reviews

Save to Personal ReadLists

Export a biliographic

pickup library