Verwandte Artikel zu Software Abstractions, revised edition: Logic, Language,...

Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press) - Softcover

 
9780262528900: Software Abstractions, revised edition: Logic, Language, and Analysis (The MIT Press)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Befriedigend
Connecting readers with great books...
Diesen Artikel anzeigen

EUR 3,21 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

EUR 2,26 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9780262017152: Software Abstractions: Logic, Language, and Analysis (The MIT Press)

Vorgestellte Ausgabe

ISBN 10:  0262017156 ISBN 13:  9780262017152
Verlag: MIT Press, 2011
Hardcover

Suchergebnisse für Software Abstractions, revised edition: Logic, Language,...

Beispielbild für diese ISBN

Jackson, Daniel
Verlag: MIT Press, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Gebraucht paperback

Anbieter: HPB-Red, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

paperback. Zustand: 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! Bestandsnummer des Verkäufers S_430167758

Verkäufer kontaktieren

Gebraucht kaufen

EUR 11,26
Währung umrechnen
Versand: EUR 3,21
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jackson, Daniel
Verlag: The MIT Press, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Gebraucht Softcover

Anbieter: World of Books (was SecondSale), Montgomery, IL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Bestandsnummer des Verkäufers 00085498391

Verkäufer kontaktieren

Gebraucht kaufen

EUR 14,53
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jackson, Daniel
Verlag: MIT Press, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Gebraucht Softcover

Anbieter: Shopbookaholic Inc, Wichita, KS, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: LikeNew. Like New conditon. Virtually no defects. Almost Perfect. Bestandsnummer des Verkäufers 51JM4N000R21_ns

Verkäufer kontaktieren

Gebraucht kaufen

EUR 13,21
Währung umrechnen
Versand: EUR 4,27
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Jackson, Daniel
Verlag: MIT Press, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Gebraucht Softcover

Anbieter: Big River Books, Powder Springs, GA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: 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. Bestandsnummer des Verkäufers 1EYX65000ZVI_ns

Verkäufer kontaktieren

Gebraucht kaufen

EUR 14,74
Währung umrechnen
Versand: EUR 3,41
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Jackson, Daniel
Verlag: MIT Press, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 24824850-n

Verkäufer kontaktieren

Neu kaufen

EUR 43,98
Währung umrechnen
Versand: EUR 2,26
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Jackson, Daniel
Verlag: Mit Press 2/12/2016, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Neu Paperback or Softback

Anbieter: BargainBookStores, Grand Rapids, MI, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback or Softback. Zustand: New. Software Abstractions: Logic, Language, and Analysis. Book. Bestandsnummer des Verkäufers BBS-9780262528900

Verkäufer kontaktieren

Neu kaufen

EUR 46,32
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 5 verfügbar

In den Warenkorb

Foto des Verkäufers

Jackson, Daniel
Verlag: MIT Press, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Gebraucht Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 24824850

Verkäufer kontaktieren

Gebraucht kaufen

EUR 45,76
Währung umrechnen
Versand: EUR 2,26
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Daniel Jackson
Verlag: Penguin Random House LLC, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Neu PAP
Print-on-Demand

Anbieter: PBShop.store US, Wood Dale, IL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9780262528900

Verkäufer kontaktieren

Neu kaufen

EUR 52,87
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Daniel Jackson
Verlag: Penguin Random House LLC, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Neu PAP
Print-on-Demand

Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9780262528900

Verkäufer kontaktieren

Neu kaufen

EUR 49,08
Währung umrechnen
Versand: EUR 5,77
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Jackson, Daniel
Verlag: MIT Press, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9780262528900_new

Verkäufer kontaktieren

Neu kaufen

EUR 46,84
Währung umrechnen
Versand: EUR 13,77
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 11 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen