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.
- EditorialMIT Press
- Año de publicación2016
- ISBN 10 0262528908
- ISBN 13 9780262528900
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas372
- Contacto del fabricanteno disponible
EUR 3,94
EUR 15,15 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 49,49
EUR 4,68 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
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: Bookmonger.Ltd, HILLSIDE, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
paperback. Condición: Good. Nº de ref. del artículo: mon0000689122
Cantidad disponible: 1 disponibles
Imagen de archivo
Software Abstractions: Logic, Language, and Analysis
Publicado por
MIT Press, 2016
ISBN 10: 0262528908
ISBN 13: 9780262528900
Antiguo o usado
Tapa blanda
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Nº de ref. del artículo: M00262528908-G
Cantidad disponible: 1 disponibles
Imagen de archivo
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780262528900_new
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: 4 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
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
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
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: Shopbookaholic Inc, Wichita, KS, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: LikeNew. Like New conditon. Virtually no defects. Almost Perfect. Nº de ref. del artículo: 51JM4N000R21_ns
Cantidad disponible: 2 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 1.1. Book. Nº de ref. del artículo: BBS-9780262528900
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
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Software Abstractions: Logic, Language, and Analysis
Publicado por
MIT Press Ltd, 2016
ISBN 10: 0262528908
ISBN 13: 9780262528900
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 560. Nº de ref. del artículo: C9780262528900
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
Cantidad disponible: Más de 20 disponibles