Articles liés à Deductive Program Design (Nato A.S.I. Series (closed)...

Deductive Program Design (Nato A.S.I. Series (closed) / Nato A.S.I. Subseries F: (closed)) - Couverture souple

 
9783642648496: Deductive Program Design (Nato A.S.I. Series (closed) / Nato A.S.I. Subseries F: (closed))
Couverture souple
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Editeur : Springer, 1996

Synopsis

Deductive Program Design Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

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

  • ÉditeurSpringer
  • Date d'édition1996
  • ISBN 10 3642648495
  • ISBN 13 9783642648496
  • ReliureBroché
  • Nombre de pages484
  • ÉditeurBroy Manfred

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition... En savoir plus sur cette édition
9783642648496: Deductive Program Design (Nato A.S.I. Series (closed) / Nato A.S.I. Subseries F: (closed))
EUR 309,25

Autre devise

Frais de port : EUR 17,94
De Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Acheter neuf

En savoir plus sur cette édition
9783642648496: Deductive Program Design (Nato A.S.I. Series (closed) / Nato A.S.I. Subseries F: (closed))
EUR 200,06

Autre devise

Frais de port : Gratuit
Vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

Edité par Springer, 2011
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Soft Cover

Vendeur : booksXpress, Bayonne, NJ, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Soft Cover. Etat : new. N° de réf. du vendeur 9783642648496

Contacter le vendeur

Acheter neuf

EUR 200,06
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020233129

Contacter le vendeur

Acheter neuf

EUR 213,47
Autre devise
Frais de port : EUR 3,58
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Broy, Manfred (EDT)
Edité par Springer, 2011
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 18724398-n

Contacter le vendeur

Acheter neuf

EUR 214,71
Autre devise
Frais de port : EUR 2,37
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Broy, Manfred
Edité par Springer Berlin Heidelberg, 2011
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.|Deductive program design aims at methods that. N° de réf. du vendeur 5067057

Contacter le vendeur

Acheter neuf

EUR 180,07
Autre devise
Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Manfred Broy
Edité par Springer, 2011
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Couverture souple
impression à la demande

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783642648496_lsuk

Contacter le vendeur

Acheter neuf

EUR 226,66
Autre devise
Frais de port : EUR 11,94
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Broy, Manfred (EDT)
Edité par Springer, 2011
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 18724398-n

Contacter le vendeur

Acheter neuf

EUR 226,65
Autre devise
Frais de port : EUR 17,94
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Manfred Broy
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art. 484 pp. Englisch. N° de réf. du vendeur 9783642648496

Contacter le vendeur

Acheter neuf

EUR 223,63
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Manfred Broy
Edité par Springer Berlin Heidelberg, 2011
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon Gay, and Rajagopal Nagarajan contribute a fundamental study founding concurrent programming on interaction categories and foundations of type theory. Tony Hoare presents unifying views on mathematical models for computing science. Unifying theories are especially important if the whole development process of programs is to be supported by deductive techniques. The rest of the contributions address applications of deductive program design methods. They are directed to different areas of application; for example Richard Bird's and Oege de Moor's algebra of programming is mainly intended for classical functional programming, and the contribution on data refinement and their transformation by David Gries considers sequential procedural programs. N° de réf. du vendeur 9783642648496

Contacter le vendeur

Acheter neuf

EUR 213,99
Autre devise
Frais de port : EUR 32,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783642648496

Contacter le vendeur

Acheter neuf

EUR 261,88
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

. Ed(s): Broy, Manfred
ISBN 10 : 3642648495 ISBN 13 : 9783642648496
Neuf Couverture souple

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Editor(s): Broy, Manfred. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 470 pages, biography. BIC Classification: PBKS; TJF; UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 726. . 2011. Softcover reprint of the original 1st ed. 1996. Paperback. . . . . N° de réf. du vendeur V9783642648496

Contacter le vendeur

Acheter neuf

EUR 264,35
Autre devise
Frais de port : EUR 10,50
De Irlande vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

There are 4 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre