Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Jackson, Daniel
ISBN 10: 0262528908 ISBN 13: 9780262528900
Editorial: MIT Press, 2016
Nuevos
Encuadernación de tapa blanda
Librería:
Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 25 de marzo de 2015
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
In. N° de ref. del artículo ria9780262528900_new
Sinopsis:
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach—which Jackson calls “lightweight formal methods” or “agile modeling”—takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.
Acerca del autor: Daniel Jackson is a photographer and Professor of Computer Science at MIT. His images of contemporary laboratories were shown at the MIT Museum in conjunction with a major exhibit of Berenice Abbott's MIT work in 2012, and other images have appeared in group shows nationwide.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Software Abstractions, revised edition: ...
Editorial: MIT Press
Año de publicación: 2016
Encuadernación: Encuadernación de tapa blanda
Condición: New
Los mejores resultados en AbeBooks
Imagen de archivo
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_430167758
Comprar usado
EUR 18,17
EUR 3,19 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Publicado por
MIT Press, 2016
ISBN 10: 0262528908
ISBN 13: 9780262528900
Antiguo o usado
Tapa blanda
Librería: Blue Vase Books, Interlochen, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: acceptable. The item is very worn but is perfectly usable. Signs of wear can include aesthetic issues such as scratches, dents, worn and creased covers, folded page corners and minor liquid stains. All pages and the cover are intact, but the dust cover may be missing. Pages may include moderate to heavy amount of notes and highlighting, but the text is not obscured or unreadable. Page edges may have foxing age related spots and browning . May NOT include discs, access code or other supplemental materials. Nº de ref. del artículo: BVV.0262528908.A
Comprar usado
EUR 21,67
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Software Abstractions, revised edition | Logic, Language, and Analysis
Impresión bajo demandaLibrería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Software Abstractions, revised edition | Logic, Language, and Analysis | Daniel Jackson | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2016 | MIT Press | EAN 9780262528900 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. Nº de ref. del artículo: 104146259
Comprar nuevo
EUR 43,25
EUR 70,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Software Abstractions : Logic, Language, and Analysis
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 24824850-n
Comprar nuevo
EUR 43,54
EUR 2,25 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Abstractions : Logic, Language, and Analysis
Publicado por
MIT Press, 2016
ISBN 10: 0262528908
ISBN 13: 9780262528900
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 24824850
Comprar usado
EUR 45,60
EUR 2,25 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Abstractions: Logic, Language, and Analysis (Paperback or Softback)
Publicado por
Mit Press 2/12/2016, 2016
ISBN 10: 0262528908
ISBN 13: 9780262528900
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Software Abstractions: Logic, Language, and Analysis. Book. Nº de ref. del artículo: BBS-9780262528900
Comprar nuevo
EUR 45,86
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Software Abstractions : Logic, Language, and Analysis
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 24824850-n
Comprar nuevo
EUR 47,71
EUR 17,08 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press)
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780262528900
Comprar nuevo
EUR 47,72
EUR 5,72 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press)
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780262528900
Comprar nuevo
EUR 51,17
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Software Abstractions : Logic, Language, and Analysis
Publicado por
MIT Press, 2016
ISBN 10: 0262528908
ISBN 13: 9780262528900
Antiguo o usado
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 24824850
Comprar usado
EUR 52,32
EUR 17,08 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles