1996, ISBN: 354061463X
[EAN: 9783540614630], Neubuch, [PU: Springer Berlin Heidelberg], ALGEBRA EDV THEORIE SOFTWARE-ENTW. ALLGEMEINES ALGEBRAISCHESPEZIFIKATION FORMALEMETHODEN FORMALEVERIFIKATION REAKTIVESYSTE… Más…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) Details... |
Algebraic Methodology and Software Technology 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings - libro nuevo
1996, ISBN: 354061463X
1996 Kartoniert / Broschiert Algebra, EDV / Theorie / Software-Entw. / Allgemeines, Software Engineering, Theoretische Informatik, AlgebraischeSpezifikation; FormaleMethoden; FormaleVer… Más…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1996, ISBN: 9783540614630
Pasta blanda
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the… Más…
booklooker.de |
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Pasta blanda
1996, ISBN: 354061463X
[EAN: 9783540614630], Gebraucht, sehr guter Zustand, [SC: 4.0], [PU: Springer], BUCH, 660 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Markierungen / Sprache: Englis… Más…
ZVAB.com NEPO UG, Rüsselsheim am Main, Germany [51070922] [Rating: 5 (von 5)] NOT NEW BOOK. Gastos de envío: EUR 4.00 Details... |
ISBN: 9783540614630
*Algebraic Methodology and Software Technology* - 5th International Conference AMAST '96 Munich Germany July 1996. Proceedings. Auflage 1996 / Taschenbuch für 106.99 € / Aus dem Bereich: … Más…
Hugendubel.de Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
1996, ISBN: 354061463X
[EAN: 9783540614630], Neubuch, [PU: Springer Berlin Heidelberg], ALGEBRA EDV THEORIE SOFTWARE-ENTW. ALLGEMEINES ALGEBRAISCHESPEZIFIKATION FORMALEMETHODEN FORMALEVERIFIKATION REAKTIVESYSTE… Más…
Nivat, Maurice (Herausgeber); Wirsing, Martin (Herausgeber):
Algebraic Methodology and Software Technology 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings - libro nuevo1996, ISBN: 354061463X
1996 Kartoniert / Broschiert Algebra, EDV / Theorie / Software-Entw. / Allgemeines, Software Engineering, Theoretische Informatik, AlgebraischeSpezifikation; FormaleMethoden; FormaleVer… Más…
1996
ISBN: 9783540614630
Pasta blanda
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the… Más…
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings (Lecture Notes in Computer Science) - Pasta blanda
1996, ISBN: 354061463X
[EAN: 9783540614630], Gebraucht, sehr guter Zustand, [SC: 4.0], [PU: Springer], BUCH, 660 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Markierungen / Sprache: Englis… Más…
ISBN: 9783540614630
*Algebraic Methodology and Software Technology* - 5th International Conference AMAST '96 Munich Germany July 1996. Proceedings. Auflage 1996 / Taschenbuch für 106.99 € / Aus dem Bereich: … Más…
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Algebraic Methodology and Software Technology
EAN (ISBN-13): 9783540614630
ISBN (ISBN-10): 354061463X
Tapa blanda
Año de publicación: 1996
Editorial: Springer Berlin Heidelberg
660 Páginas
Peso: 0,982 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2007-05-10T06:52:52-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-02-13T07:59:35-06:00 (Mexico City)
ISBN/EAN: 354061463X
ISBN - escritura alterna:
3-540-61463-X, 978-3-540-61463-0
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: wirsing, maurice martin, held, mauri martin
Título del libro: methodology and science, algebraic methodology software technology, munich, proceedings the international conference methodologies, proceedings from 5th, algebra, july, lecture notes computer science
Datos del la editorial
Autor: Martin Wirsing; Maurice Nivat
Título: Lecture Notes in Computer Science; Algebraic Methodology and Software Technology - 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Editorial: Springer; Springer Berlin
647 Páginas
Año de publicación: 1996-06-19
Berlin; Heidelberg; DE
Idioma: Inglés
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIII, 647 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algebraische Spezifikation; Formale Methoden; Formale Verifikation; Reaktive Systeme; algebraic specification; formal method; formal methods; formal verification; logic; programming; proving; reactive systems; theorem proving; verification; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Special Purpose and Application-Based Systems; Software Engineering; Wissensbasierte Systeme, Expertensysteme; EA
Two industrial trials of formal specification.- Industrial applications of ASF+SDF.- The embedded software of an electricity meter: An experience in using formal methods in an industrial project.- Applying research results in the industrial environment: The case of the TRIO specification language.- Using heterogeneous formal methods in distributed software engineering education.- Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language.- Toward a classification approach to design.- Semantic foundations for embedding HOL in Nuprl.- Free variable tableaux for a many sorted logic with preorders.- Automating induction over mutually recursive functions.- Pushouts of order-sorted algebraic specifications.- A formal framework for modules with state.- Object-oriented implementation of abstract data type specifications.- On the completeness of the equations for the Kleene star in bisimulation.- An equational axiomatization of observation congruence for prefix iteration.- Finite axiom systems for testing preorder and De Simone process languages.- Constructive semantics of Esterel: From theory to practice (abstract).- Using ghost variables to prove refinement.- Tracing the origins of verification conditions.- Preprocessing for invariant validation.- Formal verification of Signal programs: Application to a power transformer station controller.- The discrete time toolbus.- A study on the specification and verification of performance properties.- Symbolic bisimulation for timed processes.- Approximative analysis by process algebra with graded spatial actions.- Boolean formalism and explanations.- Proving existential termination of normal logic programs.- Programming in Lygon: An overview.- Some characteristics of strong innermost normalization.- On the emergence of properties in component-based systems.- Algebraic view specification.- Towards heterogeneous formal specifications.- A categorical characterization of consistency results.- Algebraic specification of reactive systems.- A model for mobile point-to-point data-flow networks without channel sharing.- Coalgebraic specifications and models of deterministic hybrid systems.- A bounded retransmission protocol for large data packets.- SPECWARE: An advanced environment for the formal development of complex software systems.- Asspegique+ an integrated specification environment providing inter-operability of tools.- Towards integrating algebraic specification and functional programming: the Opal system.- InterACT: An interactive theorem prover for algebraic specifications.- A new proof-manager and graphic interface for the Larch Prover.- TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems.- The ToolBus coordination architecture.- ASD: The action semantic description tools.- Using occurrrence and evolving algebras for the specification of language-based programming tools.- ECHIDNA: A system for manipulating explicit choice higher dimensional automata.- Verification using PEP.- The Fc2tools set.- Programming in Lygon: A system demonstration.- CtCoq: A system presentation.- The Typelab specification and verification environment.- Incremental formalization.- Proplane: A specification development environment.- A logic-based technology to mechanize software components reuse.- TkGofer: A functional GUI library.- ALPHA — A class library for a metamodel based on algebraic graph theory.- Resolution of goals with the functional and logic programming language LPG: Impact of abstractinterpretation.- Combining reductions and computations in ReDuX.- Conditional directed narrowing.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9781447132271 Algebraic Methodology and Software Technology (AMAST'93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9781447132271 Algebraic Methodology and Software Technology (AMAST'93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 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)
- 9783540198529 Algebraic Methodology and Software Technology (AMAST?93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9783540223818 Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116) (Rattray, Charles, Maharaj, Savitri)
- [(Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings)] [Edited by Martin Wirsing ] published on (August, 1996) (Martin Wirsing)
< para archivar...