Gesamtpreis (1 Artikel Artikel):
Versandziel:
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (36)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (25)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (6)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (3)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (2)
- Angebotsfoto (13)
- Keine Print-on-Demand Angebote (28)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Lecture Notes in Computer Science, Volume 288: MetaSoft Primer - Towards a Metalanguage for Applied Denotational Semantics.
Sprache: Englisch
Verlag: Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540186573 ISBN 13: 9783540186571
Erstausgabe
Paperback. Zustand: Good. No Jacket. 1st. With full markings, pocket, and/or bookplate. Normal wear, soil. Size: 8vo. Ex-Library.
-
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Pages tanned from age. Text block clean and unmarked. Tight binding.
-
-
Doktryna jako?ci: Rzecz o turkusowej samoorganizacji
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 23,88
EUR 6,49 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, 288)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974 (Lecture Notes in Computer Science, 28)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974 (Lecture Notes in Computer Science, 28)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 56,67
EUR 17,96 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, 288)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,87
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974 (Lecture Notes in Computer Science, 28)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,87
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,53
EUR 17,96 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,04
EUR 17,39 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974: 28 (Lecture Notes in Computer Science, 28) [Paperback] Blikle, A.
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 4,23
EUR 75,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Light overall wear with inscription to inner front cover, some sellotape repairs to hinges, otherwise good, clean and unmarked, throughout.
-
Pamietnik niedzielnego poety Wydany z okazji 110 lat istnienia Firmy A. Blikle i 50 lat mojej pracy w firmie 1869-1928-1979
Verlag: Sport i Turystyka, VARSAVIA, 1978
ISBN 13: 2560668022694
Anbieter: Biblioteca di Babele, Tarquinia, VT, Italien
Verkäuferbewertung 5 von 5 Sternen
SonderangebotEUR 6,40
EUR 42,00 Versand
Versand von Italien nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: BUONO USATO. Polacco Rilegatura rigida in cartonato e sovraccoperta illustrata, il volume riporta i segni dell'uso alla sovraccoperta, fogli ben godibili ricchi di illustrazioni in nero nel testo, tagli chiari e ben conservati. Numero pagine 111.
-
Zustand: New. pp. 160.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974 (Paperback or Softback)
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback or Softback. Zustand: New. Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974. Book.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,71
EUR 17,39 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Zustand: New. pp. 484.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974 (Lecture Notes in Computer Science)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 85,82
EUR 17,39 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1975 edition. 486 pages. 9.40x6.40x1.00 inches. In Stock.
-
MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1987
ISBN 10: 3540186573 ISBN 13: 9783540186571
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types.
-
Mathematical Foundations of Computer Science 1974
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1975
ISBN 10: 3540071628 ISBN 13: 9783540071624
EUR 66,39
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Sequential functions and generalized Moore and Mealy automata.- Mathematical methods of the theory of stochastic automata.- On the quasi-controllability of automata.- Models for analysis of races in sequential networks.- Factorizations, congruences, and the.
-
Mathematical Foundations of Computer Science 1976, Proceedings of the 3th Symposium jadwisin, Lecture Notes in Computer Science 28
Verlag: Springer Berlin 1975, 1975
Anbieter: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Broschiert, Format groß 8°, 484 Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anstreichungen im Text, das Buch befindet sich in einem guten Zustand --- Softcover, 484 pages, Lib.Ex., no marks / underlines, the book is in a good condition. Shipping to abroad insured with tracking number.
-
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, 288)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 120,59
EUR 28,98 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 1975
ISBN 10: 3540071628 ISBN 13: 9783540071624
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - InhaltsangabeSequential functions and generalized Moore and Mealy automata.- Mathematical methods of the theory of stochastic automata.- On the quasi-controllability of automata.- Models for analysis of races in sequential networks.- Factorizations, congruences, and the decomposition of automata and systems.- On the periodic sum and extensions of finite automata.- Finite branching automata: automata theory motivated by problem solving.- On configurations in cellular automata.- Finite automata acceptation of infinite sequences.- R-fuzzy automata with a time-variant structure.- Functions computable in the limit by probabilistic machines.- Some properties of limit recursive functions.- On some approximation problems of continuous computation.- Set-theoretic properties of programs in stored program computers.- Classification of programs of a SPC.- The algebraic approach to the theory of computing systems.- Continuous simple Z-machines, Z-computable functions and sets of functions of n real variables.- An approach to correctness proofs of semicoroutines.- Towards an understanding of complex processes.- Simulation.- Concurrent programs.- Ultralinear expressions.- A family of algebraic systems related to the theory of equations on free monoids.- Stretching by probabilistic tree automata and Santos grammars.- Top down versus bottom up syntax analysis revised.- Substring languages.- Defining languages by Mazurkiewicz aigorithms.- Complexity and normal forms of context-free languages.- The axiomatization problem of a theory of linear languages.- A lattice-theoretical approach to problem-solving.- On the equivalence of planar grammars and parallel picture processing algorithms.- Combinatorial aspects of information storage and retrieval.- Modular approach to the logical theory of programs.- Proving programs by sets of computations.- Bases of paths in correctness proofs.- Algebraic models I.- Structured programmability of iterative algorithms.- On equivalence of programs.- Mathematical model of programs with dynamic allocation of variables.- Mathematical foundations of motivation languages and synthesis maps.- The semantics of semantic equations.- + -valued algorithmic logic as a tool to investigate procedures.- Call-by-value versus call-by-name: A proof-theoretic comparison.- Procedures, formal computations and models.
-
Specified programming.
Verlag: Warszawa, 1978
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, Deutschland
Verkäuferbewertung 5 von 5 Sternen
24 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 333) Sprache: Englisch.
-
A survey of input-output semantics and program verification.
Verlag: Warszawa, 1979
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, Deutschland
Verkäuferbewertung 5 von 5 Sternen
64 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 344) Sprache: Englisch.
-
MetaSoft Primer
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 79,90
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 160 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
MetaSoft Primer
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Nov 1987, 1987
ISBN 10: 3540186573 ISBN 13: 9783540186571
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the project MetaSoft aimed at the development of a definitional metalanguage for software engineering. The approach has also been chosen in the project RAISE (ESPRIT) which aims at a similar goal. The book consists of two parts. Part One is devoted to the mathematical foundations of the future definitional metalanguage of MetaSoft. This part also introduces an appropriate notation. Part Two shows the applications of this metalanguage. There the denotational definition of a subset of Pascal is discussed with particular emphasis on Pascal types. 160 pp. Englisch.
