Verwandte Artikel zu Foundations of Computing: Systems Development with...

Foundations of Computing: Systems Development with Set Theory and (Icss) - Softcover

 
9780201544299: Foundations of Computing: Systems Development with Set Theory and (Icss)

Inhaltsangabe

Set theory and logic are the twin pillars of computing science. Their mastery is an essential part of the software engineer's education. This book provides a clear introduction to the key ideas of these two subjects and shows how they can be applied successfully in formal system development. Highlights of the book include: * A presentation of set theory as a modelling language of universal applicability * A wealth of practical examples demonstrating the remarkable simplicity and naturalness of set theory as a description tool * A description of logic as a formal language, and as a simple way of introducing the key concepts of formal syntax, semantics and deduction calculus * A practical methodology of system development based on set theory and illustrated by several substantial case studies The book starts from first principles and requires no prior knowledge of mathematics. It will be equally valuable for students of computing science and software engineers wishing to develop the skills required to apply formal methods successfully.

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

Reseña del editor

Set theory and logic are the twin pillars of computing science. Their mastery is an essential part of the software engineer's education. This book provides a clear introduction to the key ideas of these two subjects and shows how they can be applied successfully in formal system development. Highlights of the book include: * A presentation of set theory as a modelling language of universal applicability * A wealth of practical examples demonstrating the remarkable simplicity and naturalness of set theory as a description tool * A description of logic as a formal language, and as a simple way of introducing the key concepts of formal syntax, semantics and deduction calculus * A practical methodology of system development based on set theory and illustrated by several substantial case studies The book starts from first principles and requires no prior knowledge of mathematics. It will be equally valuable for students of computing science and software engineers wishing to develop the skills required to apply formal methods successfully.

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

Gebraucht kaufen

Zustand: Gut
The book has been read, but is...
Diesen Artikel anzeigen

EUR 4,01 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

EUR 25,02 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Foundations of Computing: Systems Development with...

Beispielbild für diese ISBN

Scheurer
Verlag: Addison-Wesley, 1994
ISBN 10: 0201544296 ISBN 13: 9780201544299
Gebraucht Paperback

Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich

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

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Bestandsnummer des Verkäufers GOR002469860

Verkäufer kontaktieren

Gebraucht kaufen

EUR 9,63
Währung umrechnen
Versand: EUR 4,01
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Scheurer, Thierry
ISBN 10: 0201544296 ISBN 13: 9780201544299
Gebraucht Softcover

Anbieter: Better World Books, Mishawaka, IN, USA

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

Zustand: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Bestandsnummer des Verkäufers 337499-6

Verkäufer kontaktieren

Gebraucht kaufen

EUR 14,70
Währung umrechnen
Versand: EUR 12,28
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

-
Verlag: - -, 1994
ISBN 10: 0201544296 ISBN 13: 9780201544299
Gebraucht Paperback

Anbieter: Bahamut Media, Reading, Vereinigtes Königreich

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

Paperback. Zustand: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Bestandsnummer des Verkäufers 6545-9780201544299

Verkäufer kontaktieren

Gebraucht kaufen

EUR 25,97
Währung umrechnen
Versand: EUR 3,43
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Thierry Scheurer
Verlag: Addison-Wesley, 1994
ISBN 10: 0201544296 ISBN 13: 9780201544299
Gebraucht Paperback

Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA

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

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.6. Bestandsnummer des Verkäufers G0201544296I3N00

Verkäufer kontaktieren

Gebraucht kaufen

EUR 13,37
Währung umrechnen
Versand: EUR 16,85
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

-
Verlag: -, 1994
ISBN 10: 0201544296 ISBN 13: 9780201544299
Gebraucht Paperback

Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich

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

Paperback. Zustand: Very Good. Foundations of Computing: System Development with Set Theory and Logic (International Computer Science Series) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Bestandsnummer des Verkäufers 7719-9780201544299

Verkäufer kontaktieren

Gebraucht kaufen

EUR 25,97
Währung umrechnen
Versand: EUR 4,56
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Scheurer, Thierry"
Verlag: Addison-Wesley, 1994
ISBN 10: 0201544296 ISBN 13: 9780201544299
Neu Soft cover Erstausgabe

Anbieter: BooksByLisa, Highland Park, IL, USA

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

Soft cover. Zustand: New. First Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Bestandsnummer des Verkäufers 961

Verkäufer kontaktieren

Neu kaufen

EUR 16,95
Währung umrechnen
Versand: EUR 25,02
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Scheurer, Thierry
Verlag: Addison-Wesley, 1994
ISBN 10: 0201544296 ISBN 13: 9780201544299
Neu Softcover

Anbieter: StainesBook, Weybridge, SURRE, Vereinigtes Königreich

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

Bestandsnummer des Verkäufers SpeedList-SL6219

Verkäufer kontaktieren

Neu kaufen

EUR 31,11
Währung umrechnen
Versand: EUR 34,38
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Scheurer, Thierry
Verlag: U.S.A.: Addison-Wesley, 1994
ISBN 10: 0201544296 ISBN 13: 9780201544299
Gebraucht Soft cover Erstausgabe

Anbieter: Bingo Used Books, Vancouver, WA, USA

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

Soft cover. Zustand: Good. 1st Edition. Trade paperback in good condition. Bestandsnummer des Verkäufers 168864

Verkäufer kontaktieren

Gebraucht kaufen

EUR 44,44
Währung umrechnen
Versand: EUR 30,19
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Scheurer, Thierry
Verlag: Addison-Wesley, 1994
ISBN 10: 0201544296 ISBN 13: 9780201544299
Neu Paperback

Anbieter: BennettBooksLtd, North Las Vegas, NV, USA

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

Paperback. Zustand: New. In shrink wrap. Looks like an interesting title! Bestandsnummer des Verkäufers SL-0201544296

Verkäufer kontaktieren

Neu kaufen

EUR 101,84
Währung umrechnen
Versand: EUR 37,96
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Scheurer, Thierry
Verlag: Addison-Wesley, 1994
ISBN 10: 0201544296 ISBN 13: 9780201544299
Neu Paperback

Anbieter: BennettBooksLtd, North Las Vegas, NV, USA

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

Paperback. Zustand: New. In shrink wrap. Looks like an interesting title! Bestandsnummer des Verkäufers Q-0201544296

Verkäufer kontaktieren

Neu kaufen

EUR 101,84
Währung umrechnen
Versand: EUR 37,96
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb