Artículos relacionados a Software Abstractions, revised edition: Logic, Language,...
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
Resultados de la búsqueda para Software Abstractions, revised edition: Logic, Language,...
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 17,21
Envío por EUR 3,34
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Librería: Half Price Books Inc., Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_479553063
Comprar usado
EUR 17,21
Envío por EUR 3,34
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 : 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 47,12
Envío por EUR 2,35
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 49,55
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 de archivo
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 376. Nº de ref. del artículo: 26373159167
Comprar nuevo
EUR 46,60
Envío por EUR 3,56
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 : 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 47,96
Envío por EUR 2,35
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 de archivo
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 376. Nº de ref. del artículo: 373967648
Comprar nuevo
EUR 42,79
Envío por EUR 7,67
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Software Abstractions
Librería: Rarewaves USA, HEBRON, KY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. revised edition. Nº de ref. del artículo: LU-9780262528900
Comprar nuevo
EUR 55,62
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
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. revised edition. Nº de ref. del artículo: LU-9780262528900
Comprar nuevo
EUR 56,00
Gastos de envío gratis
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 50,29
Envío por EUR 5,92
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