Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 - Couverture souple

Ehrig, Hartmut ; Thatcher, James ; Nivat, Maurice ; Floyd, Christiane

9783540151999: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Couverture souple

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

5 D'occasion

De EUR 14,95

10 Neuf

De EUR 66,43

No Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985 Read a customer review or write one .

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

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3540151990
ISBN 13: 9783540151999
Reliure: Broch�
Nombre de pages: 476
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Satisfaisant

Wear/soil. W/full markings and...

Afficher cet article

EUR 14,95

EUR 4,70 shipping
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 66,43

EUR 3,41 shipping
Exp�dition nationale�: Etats-Unis

Ajouter au panier

R�sultats de recherche pour Formal Methods and Software Development. Proceedings...

Image d'archives

Mathematical Foundations of Software Development: Volume 2: Colloquium on Software Engineering. TAPSOFT Proceedings ; Berlin, Germany; March, 1985. Volume 186 Lecture Notes in Computer Science.

Ehrig, Hartmut (Editor), et al.; Goos, G. (Editor); Hartmanis, J. (Editor)

Edit� par Springer-Verlag, OHG, Berlin, Germany, 1985

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Ancien ou d'occasion Paperback Edition originale

Vendeur : SUNSET BOOKS 2, Newark, OH, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : Good. No Jacket. 1st. Wear/soil. W/full markings and pocket. 455 numbered pages, 459 for Amz. Size: 8vo Size: 8vo - over 7� - 9�" tall. Ex-Library. N� de r�f. du vendeur 009049

Contacter le vendeur

Acheter D'occasion

EUR 14,95

EUR 4,70 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186

Ehrig, Hartmut:

Edit� par Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

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. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgel�sten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (R�ckenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740. N� de r�f. du vendeur 1698594

Contacter le vendeur

Acheter D'occasion

EUR 14,95

EUR 12,95 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), . (CSE) (Lecture Notes in Computer Science)

Ehrig, Hartmut [Editor]; Floyd, Christiane [Editor]; Nivat, Maurice [Editor]; Thatcher, James [Editor];

Edit� par Springer, 1986

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD1422695

Contacter le vendeur

Acheter D'occasion

EUR 43,21

EUR 5,97 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science, 186)

Ehrig, Hartmut; Thatcher, James; Nivat, Maurice; Floyd, Christiane

Edit� par Springer, 1985

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Neuf Couverture souple

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

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020160516

Contacter le vendeur

Acheter neuf

EUR 66,43

EUR 3,41 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), B

Ehrig, Hartmut

Edit� par Springer 1985-03, 1985

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540151999

Contacter le vendeur

Acheter neuf

EUR 53,99

EUR 17,70 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Hartmut Ehrig

Edit� par Springer Berlin Heidelberg Mrz 1985, 1985

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Neuf Taschenbuch

impression � la demande

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 -On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational design process: How and why to fake it.- Formalization in systems development.- Specifying and prototyping: Some thoughts on why they are successful.- A formal specification of line representations on graphics devices.- Experiences with the PSG � Programming System Generator.- Software construction using typed fragments.- Graph grammar engineering: A method used for the development of an integrated programming support environment.- Multidimensional tree-structured file spaces.- A theory of abstract data types for program development: Bridging the gap .- Program development and documentation by informal transformations and derivations.- ASSPEGIQUE: An integrated environment for algebraic specifications.- Application of PROLOG to test sets generation from algebraic specifications.- A PROLOG environment for developing and reasoning about data types.- Algebraic specification of synchronisation and errors: A telephonic example.- Modelling concurrent modules.- Synthesis of parallel programs invariants.- Analyzing safety and fault tolerance using Time Petri nets.- Algebraic specification of a communication scheduler.- The integration and distribution phase in the software life cycle.- Formalized software development in an industrial environment.- Object oriented concurrent programming and industrial software production.- Experience of introducing the Vienna development method into an industrial organisation.- EDP system development methodology: Auditability and control.- Experiences with object oriented programming. 476 pp. Englisch. N� de r�f. du vendeur 9783540151999

Contacter le vendeur

Acheter neuf

EUR 50,28

EUR 23 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Ehrig, Hartmut; Thatcher, James; Nivat, Maurice; Floyd, Christiane

Edit� par Springer, 1985

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 476. N� de r�f. du vendeur 263066530

Contacter le vendeur

Acheter neuf

EUR 71,48

EUR 3,41 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Ehrig, Hartmut; Thatcher, James; Nivat, Maurice; Floyd, Christiane

Edit� par Springer, 1985

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand pp. 476 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 5862781

Contacter le vendeur

Acheter neuf

EUR 72,13

EUR 7,43 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Floyd Christiane Ehrig Hartmut Nivat Maurice

Edit� par Springer, 1985

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND pp. 476. N� de r�f. du vendeur 183066536

Contacter le vendeur

Acheter neuf

EUR 72,95

EUR 9,95 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Ehrig, Hartmut|Floyd, Christiane|Nivat, Maurice|Thatcher, James

Edit� par Springer Berlin Heidelberg, 1985

ISBN 10 : 3540151990 ISBN 13 : 9783540151999

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational de. N� de r�f. du vendeur 4882518

Contacter le vendeur

Acheter neuf

EUR 45,74

EUR 48,99 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre