ISBN: 9783540657187
ETAPS''99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a … Mehr…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Fundamental Approaches To Software Engineering: Second International Conference, Fase'99, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, Etaps'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings - Taschenbuch
1999, ISBN: 3540657185
[EAN: 9783540657187], Neubuch, [PU: Springer], Books may ship from multiple locations for easy availability and logistics. PO Box orders may take a little longer for deliveries. All order… Mehr…
AbeBooks.de Vaci, Lewes, DE, U.S.A. [83103047] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540657187
*Fundamental Approaches to Software Engineering* - Second International Conference FASE'99 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS'99 Amste… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540657187
*Fundamental Approaches to Software Engineering* - Second International Conference FASE'99 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS'99 Amste… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Fundamental Approaches To Software Engineering: Second International Conference, Fase'99, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, Etaps'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings - gebrauchtes Buch
1999, ISBN: 9783540657187
Germany: Springer Nature, 1999. Brand New. book. Book Condition:- Brand New. Secured Packaging. Fast DeliveryBookseller Inventory # 9783540657187, Springer Nature, 1999, 0
Biblio.co.uk |
Fundamental Approaches to Software Engineering by Jean-Pierre Finance Paperback | Indigo Chapters - neues Buch
ISBN: 9783540657187
ETAPS''99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a … Mehr…
Jean-Pierre Finance, Universite Henri Poincare, Nancy, France (Ed.):
Fundamental Approaches To Software Engineering: Second International Conference, Fase'99, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, Etaps'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings - Taschenbuch1999, ISBN: 3540657185
[EAN: 9783540657187], Neubuch, [PU: Springer], Books may ship from multiple locations for easy availability and logistics. PO Box orders may take a little longer for deliveries. All order… Mehr…
ISBN: 9783540657187
*Fundamental Approaches to Software Engineering* - Second International Conference FASE'99 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS'99 Amste… Mehr…
ISBN: 9783540657187
*Fundamental Approaches to Software Engineering* - Second International Conference FASE'99 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS'99 Amste… Mehr…
Fundamental Approaches To Software Engineering: Second International Conference, Fase'99, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, Etaps'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings - gebrauchtes Buch
1999, ISBN: 9783540657187
Germany: Springer Nature, 1999. Brand New. book. Book Condition:- Brand New. Secured Packaging. Fast DeliveryBookseller Inventory # 9783540657187, Springer Nature, 1999, 0
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Fundamental Approaches to Software Engineering
EAN (ISBN-13): 9783540657187
ISBN (ISBN-10): 3540657185
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1999
Herausgeber: Springer Berlin Heidelberg
264 Seiten
Gewicht: 0,404 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-04-05T10:46:15+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-20T11:14:55+01:00 (Berlin)
ISBN/EAN: 9783540657187
ISBN - alternative Schreibweisen:
3-540-65718-5, 978-3-540-65718-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: poincaré, henri poincare
Titel des Buches: fase, 1577, proceedings international joint conference, fundamental approaches software engineering, the practice science, march, software engineering approach, the european, and out amsterdam, lecture notes computer science, held
Daten vom Verlag:
Autor/in: Jean-Pierre Finance
Titel: Lecture Notes in Computer Science; Fundamental Approaches to Software Engineering - Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
Verlag: Springer; Springer Berlin
254 Seiten
Erscheinungsjahr: 1999-03-10
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 254 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Formal Methods; Graph Structures; Program Specification; Reactive Systems; Software Engineering; Unified Modeling Language (UML); data structure; data structures; formal method; modeling; real-time; verification; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Compiler und Übersetzer; Theoretische Informatik; EA
Invited Tutorial.- Research Issues in the Renovation of Legacy Systems.- Invited Paper.- Continuous Engineering of Information and Communication Infrastructures.- Contributed Papers.- A Formal Framework with Late Binding.- Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.- Executable Tile Specifications for Process Calculi.- JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems.- Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories.- Dynamic Systems with Implicit State.- Rigorous Development in UML.- Using Explicit State to Describe Architectures.- On the Evolution of Reactive Components.- Verification of Definite Iteration over Hierarchical Data Structures.- Owicki/Gries in Isabelle/HOL.- Semantic-Driven Performance Evaluation.- Implementing Hierarchical Graph-Structures.- Demos.- A Tool Suite for Multi-Paradigm Specification.- TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781013271335 Fundamental Approaches to Software Engineering (Wil van der Aalst)
- 9781013271335 Fundamental Approaches to Software Engineering (Wil van der Aalst)
- 9781013271328 Fundamental Approaches to Software Engineering (Wil van der Aalst)
- 9781013269462 Fundamental Approaches to Software Engineering (Alessandra Russo)
- 9781013277160 Fundamental Approaches to Software Engineering (Wehrheim, Heike; Cabot, Jordi)
- 9781013269479 Fundamental Approaches to Software Engineering (Alessandra Russo)
< zum Archiv...