- 4 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 62,26, Mittelwert: € 56,01
1
Foundations of Software Science and Computation Structures - Maurice Nivat
Bestellen
bei Springer.com
€ 59,49
Bestellengesponserter Link
Maurice Nivat:

Foundations of Software Science and Computation Structures - neues Buch

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…

  - new in stock. Versandkosten:zzgl. Versandkosten.
2
Foundations of Software Science and Computation Structures
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellengesponserter Link
Foundations of Software Science and Computation Structures - neues Buch

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…

Nr. 978-3-540-69720-6. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
3
Foundations of Software Science and Computation Structures - Maurice Nivat
Bestellen
bei Springer.com
€ 59,49
Versand: € 0,001
Bestellengesponserter Link
Maurice Nivat:
Foundations of Software Science and Computation Structures - neues Buch

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…

  - Versandkosten: EUR 0.00
4
Foundations of Software Science and Computation Structures - Maurice Nivat
Bestellen
bei Springer.com
$ 74,99
(ca. € 62,26)
Versand: € 0,001
Bestellengesponserter Link
Maurice Nivat:
Foundations of Software Science and Computation Structures - neues Buch

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…

  - Versandkosten: EUR 0.00

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

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.

< zum Archiv...