Articoli correlati a Software Abstractions, revised edition: Logic, Language,...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
L'autore
Daniel Jackson is Professor in the Department of Electrical Engineering and Computer Science and leads the Software Design Group at the Computer Science and Artificial Intelligence Lab at MIT.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreMIT Press
- Data di pubblicazione2016
- ISBN 10 0262528908
- ISBN 13 9780262528900
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine372
Compra nuovo
Visualizza questo articolo
EUR 44,90
EUR 2,34 per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Software Abstractions, revised edition: Logic, Language,...
Foto dell'editore
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Da: Bellwetherbooks, McKeesport, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: As New. Revised. LIKE NEW!!! Has a red or black remainder mark on bottom/exterior edge of pages. Codice articolo MIT-PB-LN-R-0262528908
Quantità: 2 disponibili
Foto dell'editore
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: 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! Codice articolo S_430167758
Quantità: 1 disponibili
Foto dell'editore
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Da: Shopbookaholic Inc, Wichita, KS, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: LikeNew. Like New conditon. Virtually no defects. Almost Perfect. Codice articolo 51JM4N000R21_ns
Quantità: 2 disponibili
Immagini fornite dal venditore
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press)
Da: Big River Books, Powder Springs, GA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: good. This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting. Codice articolo 1EYX65000ZVI_ns
Quantità: 1 disponibili
Foto dell'editore
Software Abstractions: Logic, Language, and Analysis
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo M00262528908-G
Quantità: 1 disponibili
Immagini fornite dal venditore
Software Abstractions : Logic, Language, and Analysis
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 24824850-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Software Abstractions: Logic, Language, and Analysis (Paperback or Softback)
Editore:
Mit Press 2/12/2016, 2016
ISBN 10: 0262528908
ISBN 13: 9780262528900
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Software Abstractions: Logic, Language, and Analysis 1.1. Book. Codice articolo BBS-9780262528900
Quantità: 5 disponibili
Immagini fornite dal venditore
Software Abstractions : Logic, Language, and Analysis
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 24824850
Quantità: Più di 20 disponibili
Foto dell'editore
Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press)
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9780262528900
Quantità: Più di 20 disponibili
Foto dell'editore
Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press)
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9780262528900
Quantità: Più di 20 disponibili