Articoli correlati a Foundations of Software Science and Computation Structures:...
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences ... March 28 - April 4, 1998, Proceedings: 1378 - Brossura
Sinossi
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 Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540643001
- ISBN 13 9783540643005
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine308
Compra usato
Condizioni: molto buonoEx-library paperback in very nice...
Visualizza questo articolo
EUR 30,14
EUR 7,20 per la spedizione in U.S.A.
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 55,27
EUR 3,60 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Foundations of Software Science and Computation Structures:...
Foto dell'editore
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences . (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a-1254
Quantità: 1 disponibili
Immagini fornite dal venditore
Foundations of Software Science and Computation Structures : First International Conference, Fossacs'98 Held As Part of the Joint European Conferences on Theory and Practic of Software, Etaps'98 Lisbon, portugal
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5905439
Quantità: Più di 20 disponibili
Foto dell'editore
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 1378)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020173298
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Foundations of Software Science and Computation Structures : First International Conference, Fossacs'98 Held As Part of the Joint European Conferences on Theory and Practic of Software, Etaps'98 Lisbon, portugal
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5905439-n
Quantità: Più di 20 disponibili
Foto dell'editore
Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science, 1378)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540643005_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Foundations of Software Science and Computation Structures : First International Conference, Fossacs'98 Held As Part of the Joint European Conferences on Theory and Practic of Software, Etaps'98 Lisbon, portugal
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 5905439
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Foundations of Software Science and Computation Structures : First International Conference, Fossacs'98 Held As Part of the Joint European Conferences on Theory and Practic of Software, Etaps'98 Lisbon, portugal
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5905439-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
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
Editore:
Springer Berlin Heidelberg, 1998
ISBN 10: 3540643001
ISBN 13: 9783540643005
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory. Codice articolo 9783540643005
Quantità: 1 disponibili
Foto dell'editore
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
Editore:
Springer Berlin Heidelberg, 1998
ISBN 10: 3540643001
ISBN 13: 9783540643005
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 308 | Sprache: Englisch | Produktart: Bücher. Codice articolo 17696/202
Quantità: 1 disponibili
Immagini fornite dal venditore
Foundations of Software Science and Computation Structures
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Joint European Conferences on Theory and Practice of Software, ETAPS 98, . Codice articolo 4896701
Quantità: Più di 20 disponibili