Synopsis
This volume is a collection of papers presenting work based on the ideas of the CIP project. The CIP project proposed a formal approach to programming language concepts and program development based on algebraic specifications and program transformations.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Methods of Programming: Selected Papers on the CIP-Project
Image fournie par le vendeur
Methods of programming : selected papers on the CIP project. Lecture notes in computer science ; 544
Edité par
Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
ISBN 10 : 354054576X
ISBN 13 : 9783540545767
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430. N° de réf. du vendeur 2174542
Acheter D'occasion
EUR 18,95
Expédition à EUR 12,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science)
Edité par
Springer, 1991
ISBN 10 : 354054576X
ISBN 13 : 9783540545767
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. 038754576X Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a-1983
Acheter D'occasion
EUR 44,45
Expédition à EUR 5,89
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science, 544)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020170091
Acheter neuf
EUR 51,65
Expédition à EUR 3,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Methods of Programming : Selected Papers on the Cip-project
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5906428-n
Acheter neuf
EUR 52,80
Expédition à EUR 2,22
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Methods of Programming (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1991
ISBN 10 : 354054576X
ISBN 13 : 9783540545767
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionof formal program specification, transformationalprogramming, and tool supportfor program development. The collection of papers in this volume presents examples ofa formal approach to programming language concepts andprogram development based on algebraic specifications andprogram transformations. Examples are also presented ofevolutions and modificationsof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfrom specifications. The volume is dedicated to Prof F.L. Bauer. Samelson started work in 1975 in the directionof formal program specification, transformationalprogramming, and tool supportfor program development. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783540545767
Acheter neuf
EUR 55,10
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science, 544)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540545767_new
Acheter neuf
EUR 58,86
Expédition à EUR 13,80
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Methods of Programming : Selected Papers on the CIP-Project
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540545767
Acheter neuf
EUR 56,65
Expédition à EUR 17,84
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Methods of Programming
Edité par
Springer Berlin Heidelberg Okt 1991, 1991
ISBN 10 : 354054576X
ISBN 13 : 9783540545767
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science.Under the heading CIP (Computer-aided Intuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionof formal program specification, transformationalprogramming, and tool supportfor program development.The collection of papers in this volume presents examples ofa formal approach to programming language concepts andprogram development based on algebraic specifications andprogram transformations. Examples are also presented ofevolutions and modificationsof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfrom specifications.The volume is dedicated to Prof. F.L. Bauer. 288 pp. Englisch. N° de réf. du vendeur 9783540545767
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Methods of Programming
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 288. N° de réf. du vendeur 261764284
Acheter neuf
EUR 80,73
Expédition à EUR 3,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Methods of Programming
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 288 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 7165027
Acheter neuf
EUR 81,10
Expédition à EUR 7,49
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)