satinyx

Parcourir les produits
Promo !
Mathematics of Program Construction Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings

Mathematics of Program Construction Second International Conference, Oxford, U.K., June 29 – July 3, 1992. Proceedings

Le prix initial était : 46.99 €.Le prix actuel est : 14.10 €.

Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something foracademics alone. Thesecond conference gives evidence of the ever-widening impactof precise mathematical methods in program development. Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something foracademics alone. Today, there is moreand more interestfrom industry in formal methods based on mathematics. Thisinterest has come from the success of a number ofexperiments on real industrial applications. Thus, there isnot only a belief, but also evidence, that the study ofcomputer programs as mathematical objects leads to moreefficient methods…

Passer à la caisse
SKU: IVRJTAT1574077741326
Category:

Description

Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something foracademics alone. Thesecond conference gives evidence of the ever-widening impactof precise mathematical methods in program development. Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded as something foracademics alone. Today, there is moreand more interestfrom industry in formal methods based on mathematics. Thisinterest has come from the success of a number ofexperiments on real industrial applications. Thus, there isnot only a belief, but also evidence, that the study ofcomputer programs as mathematical objects leads to moreefficient methods for constructing them. The papers in this volume were presented at the SecondInternational Conference on the Mathematics of ProgramConstruction, held at St. Catherine’s College, Oxford, June29 – July 3, 1992. The conference was organized by theOxford University Programming Research Group, and continuedthe theme set by the first – the use of crisp, clearmathematics in the discovery and design of algorithms. Thesecond conference gives evidence of the ever-widening impactof precise mathematical methods in program development. There are papers applying mathematics not only to sequentialprograms but also to parallel and on-current applications,real-time and reactive systems, and to designs realiseddirectly in hardware. The volume includes 5 invited papersand 19 contributed papers.

Langue
en
Version
Broché
Date de sortie initiale
06 avril 1993
Nombre de pages
380
Illustrations
Non

Personnes impliquées

Auteur principal

Richard S. Bird

Deuxième auteur

C. Carroll Morgan

Rédacteur en chef

Richard S. Bird

Deuxième rédacteur

C.Carroll Morgan

Editeur principal

Springer

Informations sur le fabricant

Nom du fabricant
Springer Nature Customer Service Center GmbH
Adresse du fabricant
Europaplatz 3 | 69115| Heidelberg| DE
Adresse électronique du fabricant
ProductSafety@springernature.com
Informations sur le fabricant
Les informations du fabricant ne sont actuellement pas disponibles

Autres spécifications

Hauteur de l’emballage
21 mm
Largeur d’emballage
155 mm
Largeur du produit
155 mm
Livre d‘étude
Non
Longueur d’emballage
235 mm
Longueur du produit
235 mm
Poids de l’emballage
1210 g
Police de caractères extra large
Non
Édition
1993 ed.

EAN

EAN
9783540566250

Sécurité des produits

Opérateur économique responsable dans l’UE

Afficher les données

Vous trouverez cet article :

Catégories

Science et nature

Ordinateurs et Informatique

Technologies informatiques

Programmation

Mathématiques

Mathématiques pour informaticiens

Mathématiques appliquées

Livres

Livre, ebook ou livre audio ?

Livre

Disponibilité

Disponible à l’adresse suivante

Langue

Anglais

Type de livre

Paperback

Produits similaires