Building high integrity applications with SPARK / John W. McCormick and Peter C Chapin

By:

Contributor(s):

Publication details: New York: Cambridge University Press, 2015.Description: xiv, 367 pISBN:

Subject(s):

DDC classification:

Online resources:

List(s) this item appears in: New Additions March-April 2019

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	Mahatma Gandhi University Library General Stacks	004.2 Q5 (Browse shelf(Opens below))	Available		59392

Total holds: 0

Previous						No cover image available		Next
Previous	004.16 Q4 Multicore computing:	004.16 R1 Data science with raspberry Pi: real-time applications using a localized cloud/	004.165 INT P9 The 8086/8088 family :	004.2 Q5 Building high integrity applications with SPARK /	004.2 Q8 Computer organization: basic processor structure/	004.21 P2 Elements of systems analysis and design/	004.22 N7 Advanced computer architectures :	Next

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.