Formal software development from VDM to Java /

Enregistré dans:

Détails bibliographiques
Auteur principal:	Charatan, Quentin
Collectivité auteur:	ebrary, Inc
Autres auteurs:	Kans, Aaron
Format:	Électronique eBook
Langue:	anglais
Publié:	Basingstoke : Palgrave Macmillan, 2004.
Sujets:	Computer software > Development. Formal methods (Computer science) Electronic books.
Accès en ligne:	An electronic book accessible through the World Wide Web; click to view
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

MARC


LEADER	00000nam a2200000Ia 4500
001	0000081608
005	20171002054111.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	030417s2004 enka s 001 0 eng d
020			\|z 0333992814 (pbk.)
035			\|a (CaPaEBR)ebr10103773
035			\|a (OCoLC)84373471
040			\|a CaPaEBR \|c CaPaEBR
050	1	4	\|a QA76.758 \|b .C43 2004eb
082	0	4	\|a 005.1 \|2 22
100	1		\|a Charatan, Quentin.
245	1	0	\|a Formal software development \|h [electronic resource] : \|b from VDM to Java / \|c Quentin Charatan and Aaron Kans.
260			\|a Basingstoke : \|b Palgrave Macmillan, \|c 2004.
300			\|a xi, 239 p. : \|b ill.
500			\|a Includes index.
533			\|a Electronic reproduction. \|b Palo Alto, Calif. : \|c ebrary, \|d 2009. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
650		0	\|a Computer software \|x Development.
650		0	\|a Formal methods (Computer science)
655		7	\|a Electronic books. \|2 local
700	1		\|a Kans, Aaron.
710	2		\|a ebrary, Inc.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10103773 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 70766 \|d 70766