Software abstractions logic, language, and analysis /

Main Author: Jackson, Daniel, 1963-
Corporate Author: ebrary, Inc.
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, 2012.
Edition:Rev. ed.
Subjects:
Online Access:http://site.ebrary.com/lib/ucy/Doc?id=10509226
LEADER 00773nam a2200217 a 4500
001 1864930
005 20171111234647.0
008 110711s2012 maua sb 001 0 eng d
020 |z 9780262017152 
040 |a CaPaEBR  |z 9780262300247 (e-book) 
050 1 4 |a QA76.76.D47  |b J29 2012eb 
100 1 |a Jackson, Daniel,  |d 1963- 
245 1 0 |a Software abstractions  |b logic, language, and analysis /  |c Daniel Jackson. 
250 |a Rev. ed. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c 2012. 
300 |a xviii, 354 p. :  |b ill. 
504 |a Includes bibliographical references and index. 
650 0 |a Computer software  |x Development. 
710 2 |a ebrary, Inc. 
856 4 0 |u http://site.ebrary.com/lib/ucy/Doc?id=10509226 
952 |a CY-NiOUC  |b 5a0461056c5ad14ac1ee3d17  |c 998a  |d 945l  |e -  |t 1  |x m  |z Books