ISBN: 9783540697206
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joi… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540697206
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joi… Mehr…
Springer.com Nr. 978-3-540-69720-6. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783540697206
Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Lang… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540697206
Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Lang… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540697206
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joi… Mehr…
ISBN: 9783540697206
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joi… Mehr…
ISBN: 9783540697206
Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Lang… Mehr…
ISBN: 9783540697206
Computer Science; Software Engineering/Programming and Operating Systems; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Lang… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Foundations of Software Science and Computation Structures
EAN (ISBN-13): 9783540697206
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-01-15T10:01:53+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-13T15:43:15+01:00 (Berlin)
ISBN/EAN: 9783540697206
ISBN - alternative Schreibweisen:
978-3-540-69720-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: software, foundations science
Daten vom Verlag:
Autor/in: Maurice Nivat
Titel: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures - First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Verlag: Springer; Springer Berlin
297 Seiten
Erscheinungsjahr: 2003-08-14
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XI, 297 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Analysis; Automat; automata; automata theory; formal language; formal specification; semantics; term rewriting; C; Software Engineering/Programming and Operating Systems; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Computer Science; Theoretische Informatik; Compiler und Übersetzer; BC
Generalizing domain theory.- A cook's tour of equational axiomatizations for prefix iteration.- The WHILE hierarchy of program schemes is infinite.- Analysis of a guard condition in type theory.- An event structure semantics for P/T contextual nets: Asymmetric event structures.- Pumping Lemmas for timed automata.- Asynchronous Observations of Processes.- Minor searching, normal forms of graph relabelling: Two applications based on enumerations by graph relabelling.- Partial metrics and co-continuous valuations.- Mobile ambients.- Rational term rewriting.- The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations.- Net refinement by pullback rewriting.- On piecewise testable, starfree, and recognizable picture languages.- Functor categories and two-level languages.- Deciding properties for message sequence charts.- The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages.- Deterministic rational transducers and random sequences.- Resource based models for asynchrony.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781013269424 Foundations of Software Science and Computation Structures (Christel Baier)
- 9781013269424 Foundations of Software Science and Computation Structures (Christel Baier)
- 9781013269431 Foundations of Software Science and Computation Structures (Christel Baier)
- 9783030452308 Foundations of Software Science and Computation Structures (Barbara König)
- 9783030171261 Foundations of Software Science and Computation Structures (Miko?aj Boja?czyk; Alex Simpson)
- 9783319893655 Foundations of Software Science and Computation Structures (Christel Baier; Ugo Dal Lago)
- 9783319893662 Foundations of Software Science and Computation Structures (Christel Baier; Ugo Dal Lago)
- [(Foundations of Software Science and Computation Structures : First International Conference, Fossacs'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings)] [Edited by Maurice Nivat] published on (May, 1998) (Maurice Nivat)
< zum Archiv...