Formal Methods and Software Development
. Ed(s): Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
ISBN 10: 3540151990 ISBN 13: 9783540151999
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1985
Neu
Softcover
Verkäufer
Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 9. Oktober 2009
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Editor(s): Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, biography. BIC Classification: GBC; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 662. . 1985. Paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783540151999
Bibliografische Details
Titel: Formal Methods and Software Development
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Erscheinungsdatum: 1985
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Formal Methods and Software Development. Proceedings of the Intern. Joint Conference on Theory and Practice of Software Development; Vol. 2. (=Lecture Notes in Computer Science; 186).
Verlag:
Springer Berlin, 1985
ISBN 10: 3540151990
ISBN 13: 9783540151999
Gebraucht
Paperback/ broschiert
Anbieter: ralfs-buecherkiste, Herzfelde, MOL, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Paperback/ broschiert. Zustand: Wie neu. 455 S. Computerwissenschaften Befriedigender Zustand Ex-Library. Stamped edges. Brownish paper. ha1088554 Sprache: Englisch Gewicht in Gramm: 1050. Artikel-Nr. 404213
Gebraucht kaufen
EUR 10,00
EUR 105,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Verlag:
Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990
ISBN 13: 9783540151999
Gebraucht
Broschiert
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: 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. Artikel-Nr. 1698594
Gebraucht kaufen
EUR 14,95
EUR 12,95 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE)
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540151999
Neu kaufen
EUR 50,28
EUR 63,58 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar