Verwandte Artikel zu Formal Methods and Software Development. Proceedings...

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) - Softcover

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), ... 186 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3540151990 ISBN 13: 9783540151999
Verlag: Springer, 2008
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 
  • VerlagSpringer
  • Erscheinungsdatum2008
  • ISBN 10 3540151990
  • ISBN 13 9783540151999
  • EinbandTapa blanda
  • Anzahl der Seiten476

Beste Suchergebnisse bei AbeBooks

Foto des Verkäufers

Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
Verlag: Springer (1985)
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu Softcover Anzahl: 5
Anbieter:
GreatBookPrices
(Columbia, MD, USA)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 5908386-n

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 66,44
Währung umrechnen

In den Warenkorb

Versand: EUR 2,45
Innerhalb der USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

"Ehrig, Hartmut", "Thatcher, James", "Nivat, Maurice", "Floyd, Christiane"
Verlag: Springer (1985)
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu Soft Cover Anzahl: 10
Anbieter:
booksXpress
(Bayonne, NJ, USA)
Bewertung
Bewertung: 4 Sterne, Learn more about seller ratings

Buchbeschreibung Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9783540151999

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 68,97
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Hartmut Ehrig
Verlag: Springer (1985)
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu Softcover Anzahl: > 20
Print-on-Demand
Anbieter:
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783540151999_lsuk

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 57,19
Währung umrechnen

In den Warenkorb

Versand: EUR 11,80
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Ehrig, Hartmut
Verlag: Springer 1985-03 (1985)
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu PF Anzahl: 10
Anbieter:
Chiron Media
(Wallingford, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540151999

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 53,67
Währung umrechnen

In den Warenkorb

Versand: EUR 17,73
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Hartmut Ehrig
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu Taschenbuch Anzahl: 2
Print-on-Demand
Anbieter:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Deutschland)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540151999

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 50,28
Währung umrechnen

In den Warenkorb

Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
Verlag: Springer (1985)
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu Softcover Anzahl: 5
Anbieter:
GreatBookPricesUK
(Castle Donington, DERBY, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers 5908386-n

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 56,69
Währung umrechnen

In den Warenkorb

Versand: EUR 17,74
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Ehrig, Hartmut; Thatcher, James; Nivat, Maurice; Floyd, Christiane
Verlag: Springer (1985)
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu Softcover Anzahl: > 20
Anbieter:
Lucky's Textbooks
(Dallas, TX, USA)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020160516

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 72,02
Währung umrechnen

In den Warenkorb

Versand: EUR 3,71
Innerhalb der USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Ehrig, Hartmut; Thatcher, James; Nivat, Maurice; Floyd, Christiane
Verlag: Springer (1985)
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu Softcover Anzahl: 4
Anbieter:
Books Puddle
(New York, NY, USA)
Bewertung
Bewertung: 4 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: New. pp. 476. Bestandsnummer des Verkäufers 263066530

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 72,84
Währung umrechnen

In den Warenkorb

Versand: EUR 3,71
Innerhalb der USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Ehrig, Hartmut; Thatcher, James; Nivat, Maurice; Floyd, Christiane
Verlag: Springer (1985)
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu Softcover Anzahl: 4
Print-on-Demand
Anbieter:
Majestic Books
(Hounslow, Vereinigtes Königreich)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung Zustand: 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. Bestandsnummer des Verkäufers 5862781

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 76,78
Währung umrechnen

In den Warenkorb

Versand: EUR 7,68
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Hartmut Ehrig
ISBN 10: 3540151990 ISBN 13: 9783540151999
Neu Taschenbuch Anzahl: 1
Anbieter:
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung
Bewertung: 5 Sterne, Learn more about seller ratings

Buchbeschreibung 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. Bestandsnummer des Verkäufers 9783540151999

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 56,25
Währung umrechnen

In den Warenkorb

Versand: EUR 32,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Es gibt weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen