- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 102,68, Mittelwert: € 77,04
1
Fundamental Approaches to Software Engineering by Jean-Pierre Finance Paperback | Indigo Chapters
Bestellen
bei Indigo.ca
C$ 137,95
(ca. € 102,68)
Bestellengesponserter Link

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…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Bestellen
bei AbeBooks.de
€ 98,77
Versand: € 0,001
Bestellengesponserter Link

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 - 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…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Vaci, Lewes, DE, U.S.A. [83103047] [Rating: 5 (von 5)]
3
Fundamental Approaches to Software Engineering - Jean-Pierre Finance
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Jean-Pierre Finance:
Fundamental Approaches to Software Engineering - Taschenbuch

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…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
4
Fundamental Approaches to Software Engineering - Jean-Pierre Finance
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Jean-Pierre Finance:
Fundamental Approaches to Software Engineering - Taschenbuch

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…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
5
Bestellen
bei Biblio.co.uk
$ 81,17
(ca. € 76,79)
Versand: € 0,001
Bestellengesponserter Link
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 - 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

IND - IndienVersandkosten:Versandkostenfrei. (EUR 0.00) STM Traders Private Limited

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Fundamental Approaches to Software Engineering

This book constitutes the refereed proceedings of the Second International Conference on Fundamental Approaches to Software Engineering, FASE'99, held in Amsterdam, The Netherlands, in March 1999 as part of ETAPS'99.The 13 revised full papers presented were carefully reviewed and selected for inclusion in the book. Also included are two invited papers and two demo presentations. Among the topics addressed are formal methods, real-time specifications, process calculi, reactive concurrent systems, term rewriting, dynamic systems, UML modeling, systems verification, program development, and theorem proving.

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)


< zum Archiv...