- 5 Ergebnisse
Kleinster Preis: € 44,79, größter Preis: € 92,99, Mittelwert: € 60,13
1
Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Nethe - Byeong G. Lee
Bestellen
bei hive.co.uk
£ 38,24
(ca. € 44,79)
Bestellen
Details und Versand
gesponserter Link
Byeong G. Lee:

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Nethe - neues Buch

ISBN: 9781447132271

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the … Mehr…

No. 9781447132271. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
2
Algebraic Methodology and Software Technology (AMAST'93)
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Algebraic Methodology and Software Technology (AMAST'93) - neues Buch

ISBN: 9781447132271

*Algebraic Methodology and Software Technology (AMAST'93)* - Proceedings of the Third International Conference on Algebraic Methodology and Software Technology University of Twente Ensche… Mehr…

Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
3
Algebraic Methodology and Software Technology (AMAST'93)
Bestellen
bei eBook.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Algebraic Methodology and Software Technology (AMAST'93) - neues Buch

ISBN: 9781447132271

Algebraic Methodology and Software Technology (AMAST'93) - Proceedings of the Third International Conference on Algebraic Methodology and Software Technology University of Twente Enschede… Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
4
Algebraic Methodology and Software Technology (AMAST'93)
Bestellen
bei eBook.de
€ 92,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Algebraic Methodology and Software Technology (AMAST'93) - neues Buch

ISBN: 9781447132271

Algebraic Methodology and Software Technology (AMAST'93) - Proceedings of the Third International Conference on Algebraic Methodology and Software Technology University of Twente Enschede… Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
5
Algebraic Methodology and Software Technology (AMAST'93) - Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo
Bestellen
bei lehmanns.de
€ 55,89
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo:
Algebraic Methodology and Software Technology (AMAST'93) - neues Buch

2012, ISBN: 9781447132271

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 1993, eBooks, eBook Download… Mehr…

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
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
Algebraic Methodology and Software Technology (AMAST'93)
Autor:
Titel:
ISBN-Nummer:

9781447132271

Detailangaben zum Buch - Algebraic Methodology and Software Technology (AMAST'93)


EAN (ISBN-13): 9781447132271
Erscheinungsjahr: 2012
Herausgeber: Springer London

Buch in der Datenbank seit 2017-05-07T14:27:02+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-07-14T22:16:10+02:00 (Zurich)
ISBN/EAN: 9781447132271

ISBN - alternative Schreibweisen:
978-1-4471-3227-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: international conference software

Daten vom Verlag:

Autor/in: Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo
Titel: Workshops in Computing; Algebraic Methodology and Software Technology (AMAST’93) - Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Verlag: Springer; Springer London
416 Seiten
Erscheinungsjahr: 2012-12-06
London; GB
Sprache: Englisch
53,49 € (DE)
59,00 CHF (CH)
Available
XIV, 416 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algebraic Specification; Formal Methods; Program Development; design; functional programming; logic; programming; software engineering; C; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Theoretische Informatik; BC

Opening Address by the Rector of the University of Twente.- Welcoming Address AMAST’93.- Invited Papers.- Applying Algebraic Logic to Logic.- Relation Algebras for Reasoning About Time and Space.- On the Value of Commutative Diagrams in Information Modelling.- Rigorous Specification of Real-Time Systems.- Full Abstraction in Structural Operational Semantics (Extended Abstract).- Synchronous Observers and the Verification of Reactive Systems.- Constraints in Term Algebras (Short Survey).- Joining Abstract and Concrete Computations in Constraint Logic Programming.- Communications.- Dimension-Complemented Lambda Abstraction Algebras.- Parameterized Recursion Theory—A Tool for the Systematic Classification of Specification Methods.- Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-Time Reflection.- A Coherent Type System for a Concurrent, Functional and Imperative Programming Language.- Peirce Algebras (Extended Abstract).- Comparing Two Different Approaches to Products in Abstract Relation Algebra.- Specifying Type Systems with Multi-Level Order-Sorted Algebra.- An Overview of the SODA System.- Category Theory for the Configuration of Complex Systems.- Algebraic-Oriented Institutions.- On the Correctness of Modular Systems.- Interaction Between Algebraic Specification Grammars and Modular System Design.- Specification of Hybrid Systems in CRP.- Real-Time Program Synthesis from Specifications.- On the Coverage of Partial Validations.- Verifying Communication Protocols via Testing-Projection.- Equivalences of Transition Systems in an Algebraic Framework.- Semantics Frameworks for a Class of Modular Algebraic Nets.- A Characterization of LOTOS Representable Networks of Parallel Processes.- Towards Performance Evaluation in ProcessAlgebras.- Translation Results for Modal Logics of Reactive Systems.- Modal Action Logic in a Practical Specification Language.- On Using a Composition Principle to Design Parallel Programs.- A Notion of Refinement for Automata.- The Role of Memory in Object-Based and Object-Oriented Languages.- Abstract and Concrete Objects—An Algebraic Design Method for Object-Based Systems.- Towards an Algebraic Theory of Inheritance in Object Oriented Programming.- An Object-Oriented Design for the ACT ONE Environment.- A Formal Definition of an Abstract Prolog Compiler (Extended Abstract).- Completeness of Equational Definitions over Predefined Algebras.- An Algebraic Approach to Modeling in Software Engineering.- Automated Proof of the Correctness of a Compiling Specification.- System Demonstrations.- RELVIEW—A Computer System for the Manipulation of Relations.- RALF—A Relation-Algebraic Formula Manipulation System and Proof Checker.- Towards an Integrated Environment for Concurrent Programs Development.- The LOTOS Toolbox.- The ASF + SDF Meta-Environment.- Executing Action Semantic Descriptions Using ASF + SDF.- Author Index.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9780387614632 Algebraic Methodology and Software Technology: 5th International Conference, Amast '96, Munich, Germany, July 1-5, 1996 : Proceedings (Lecture Notes in Computer Science, 1101) (Germany) International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich, M. Wirsing, M. Nivat)

< zum Archiv...