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
Item in good condition. Textbooks...
Diesen Artikel anzeigen

EUR 29,77 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

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: The MIT Press, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Gebraucht Softcover

Anbieter: SecondSale, Montgomery, IL, USA

Verkäuferbewertung 4 von 5 Sternen 4 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 15,64
Währung umrechnen
Versand: EUR 29,77
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Daniel Jackson
Verlag: MIT Press, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Neu Taschenbuch
Print-on-Demand

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

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

Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. Bestandsnummer des Verkäufers 9780262528900

Verkäufer kontaktieren

Neu kaufen

EUR 51,50
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
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
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 5,72
Von Vereinigtes Königreich nach Deutschland
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 4,53
Von Vereinigtes Königreich nach Deutschland
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 53,01
Währung umrechnen
Versand: EUR 0,66
Von USA nach Deutschland
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
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,14
Währung umrechnen
Versand: EUR 42,53
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 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 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 45,81
Währung umrechnen
Versand: EUR 10,63
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 5 verfügbar

In den Warenkorb

Foto des Verkäufers

Daniel Jackson
Verlag: MIT Press Ltd, US, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Neu Paperback

Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich

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

Paperback. Zustand: New. revised edition. Bestandsnummer des Verkäufers LU-9780262528900

Verkäufer kontaktieren

Neu kaufen

EUR 57,17
Währung umrechnen
Versand: EUR 2,30
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Daniel Jackson
Verlag: MIT Press Ltd, 2016
ISBN 10: 0262528908 ISBN 13: 9780262528900
Neu Paperback / softback
Print-on-Demand

Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich

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

Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 560. Bestandsnummer des Verkäufers C9780262528900

Verkäufer kontaktieren

Neu kaufen

EUR 53,39
Währung umrechnen
Versand: EUR 6,95
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 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,49
Währung umrechnen
Versand: EUR 17,01
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 11 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen