Articles liés à Software Engineering 1: Abstraction And Modelling
Synopsis
This well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader with a sound but simple basis for discrete mathematics before moving on to teach basic property and model-oriented specification principles and techniques. In addition, the reader will learn the essentials of functional, imperative, and parallel specification programming.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 101,83
EUR 2,25 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Software Engineering 1: Abstraction And Modelling
Image fournie par le vendeur
Software Engineering 1 : Abstraction And Modelling
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3403327-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering 1 (Hardcover)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2005
ISBN 10 : 3540211497
ISBN 13 : 9783540211495
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of abstraction and modeling. First it provides a sound, simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda calculus, algebras and mathematical logic. Then it teaches its readers basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL and Z are propagated here through the use of the RAISE specification language (RSL). Finally the book covers the basic principles of functional, imperative and parallel specification programming.This book is targeted at university undergraduate students and at college lecturers. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783540211495
Quantité disponible : 1 disponible(s)
Image d'archives
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020162875
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : BennettBooksLtd, San Diego, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-3540211497
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Software Engineering 1 : Abstraction And Modelling
Edité par
Springer, 2005
ISBN 10 : 3540211497
ISBN 13 : 9783540211495
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 3403327
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540211495
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540211495_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Software Engineering 1 : Abstraction And Modelling
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3403327-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Software Engineering
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005
ISBN 10 : 3540211497
ISBN 13 : 9783540211495
Neuf
Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Covering the basic principles and techniques of formal methods abstraction and modelling, this book provides an insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. It also discuuses basic property- and model-oriented specification principles and techniques. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 714 pages, 38 black & white illustrations, biography. BIC Classification: UMZ. Category: (UU) Undergraduate. Dimension: 234 x 156 x 39. Weight in Grams: 1226. . 2005. Hardback. . . . . N° de réf. du vendeur V9783540211495
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Software Engineering 1 : Abstraction And Modelling
Edité par
Springer, 2005
ISBN 10 : 3540211497
ISBN 13 : 9783540211495
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 3403327
Quantité disponible : Plus de 20 disponibles