Foundations of Computing: System Development With Set Theory and Logic - Couverture souple

Scheurer

9780201544299: Foundations of Computing: System Development With Set Theory and Logic

Couverture souple

ISBN 10 : 0201544296 ISBN 13 : 9780201544299

Editeur : Pearson Education Limited, 1994

Afficher les exemplaires de cette �dition comportant l?ISBN

6 D'occasion

De EUR 9,61

4 Neuf

De EUR 19,67

Book by Scheurer Thierry

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

Pr�sentation de l'�diteur

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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Pearson Education Limited
Date d'�dition: 1994
Langue: anglais
ISBN 10: 0201544296
ISBN 13: 9780201544299
Reliure: Broch�
Nombre de pages: 704
Coordonn�es du fabricant: non disponible
Personne responsable: GS1 Slovakia
https://www.gs1sk.org

Nantersk� 23
Žilina
010 08
Slovaquie

Acheter D'occasion

�tat : Assez bon

The book has been read, but is...

Afficher cet article

EUR 9,61

Autre devise

EUR 8,58 exp�dition depuis Royaume-Uni vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 19,67

Autre devise

EUR 27,67 exp�dition depuis Etats-Unis vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Foundations of Computing: System Development With Set...

Image d'archives

Foundations of Computing: Systems Development with Set Theory and (International Computer Science Series)

Scheurer

Edit� par Addison-Wesley, 1994

ISBN 10 : 0201544296 ISBN 13 : 9780201544299

Ancien ou d'occasion Paperback

Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : 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. N� de r�f. du vendeur GOR002469860

Contacter le vendeur

Acheter D'occasion

EUR 9,61

Autre devise

Frais de port : EUR 8,58

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Foundations of Computing: System Development with Set Theory and Logic (International Computer Science Series)

Edit� par -, 1994

ISBN 10 : 0201544296 ISBN 13 : 9780201544299

Ancien ou d'occasion Paperback

Vendeur : AwesomeBooks, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : 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. N� de r�f. du vendeur 7719-9780201544299

Contacter le vendeur

Acheter D'occasion

EUR 26,14

Autre devise

Frais de port : EUR 3,42

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Foundations of Computing: System Development with Set Theory and Logic (International Computer Science Series)

Edit� par - -, 1994

ISBN 10 : 0201544296 ISBN 13 : 9780201544299

Ancien ou d'occasion Paperback

Vendeur : Bahamut Media, Reading, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : 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. N� de r�f. du vendeur 6545-9780201544299

Contacter le vendeur

Acheter D'occasion

EUR 26,14

Autre devise

Frais de port : EUR 3,42

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Foundations of Computing: System Development With Set Theory and Logic (International Computer Science Series)

Thierry Scheurer

Edit� par Addison-Wesley, 1994

ISBN 10 : 0201544296 ISBN 13 : 9780201544299

Ancien ou d'occasion Paperback

Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 2.6. N� de r�f. du vendeur G0201544296I3N00

Contacter le vendeur

Acheter D'occasion

EUR 13,19

Autre devise

Frais de port : EUR 16,63

De Etats-Unis vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives