Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... 186 (Lecture Notes in Computer Science, 186) - Tapa blanda
Resultados de la búsqueda para Formal Methods and Software Development. Proceedings...
Imagen de archivo
Mathematical Foundations of Software Development: Volume 2: Colloquium on Software Engineering. TAPSOFT Proceedings ; Berlin, Germany; March, 1985. Volume 186 Lecture Notes in Computer Science.
Publicado por
Springer-Verlag, OHG, Berlin, Germany, 1985
ISBN 10: 3540151990
ISBN 13: 9783540151999
Antiguo o usado
Paperback
Original o primera edición
Librería: SUNSET BOOKS 2, Newark, OH, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: 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 ref. del artículo: 009049
Comprar usado
EUR 14,98
Envío por EUR 6,20
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Publicado por
Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990
ISBN 13: 9783540151999
Antiguo o usado
Broschiert
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: 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 ref. del artículo: 1698594
Comprar usado
EUR 14,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
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)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Nº de ref. del artículo: UTD1422695
Comprar usado
EUR 43,06
Envío por EUR 5,98
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
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)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540151999_new
Comprar nuevo
EUR 57,69
Envío por EUR 13,86
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), B
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540151999
Comprar nuevo
EUR 54,69
Envío por EUR 17,93
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Publicado por
Springer Berlin Heidelberg Mrz 1985, 1985
ISBN 10: 3540151990
ISBN 13: 9783540151999
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540151999
Comprar nuevo
EUR 50,28
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 476. Nº de ref. del artículo: 263066530
Comprar nuevo
EUR 74,20
Envío por EUR 3,41
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: 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 ref. del artículo: 5862781
Comprar nuevo
EUR 73,73
Envío por EUR 7,52
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 476. Nº de ref. del artículo: 183066536
Comprar nuevo
EUR 73,36
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Publicado por
Springer Berlin Heidelberg, 1985
ISBN 10: 3540151990
ISBN 13: 9783540151999
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: 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 ref. del artículo: 4882518
Comprar nuevo
EUR 45,74
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles