Blikle (25 resultados)
- Tapa blanda
Librería: WorldofBooks, Goring-By-Sea, WS, Reino UnidoWorldofBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 10,25
Envío por EUR 6,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: 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.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,28
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de AmericaBargainBookStores
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,67
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Paperback or Softback. Condición: New. Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974. Book.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 62,11
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
Metasoft Primer : Towards a Metalanguage for Applied Denotational Semantics
Blikle, Andrzej; Barstow, D. (EDT); Brauer, W. (EDT); Brinch Hansen, P. (EDT); Gries, D. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 62,17
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
Editorial: Sport i Turystyka, VARSAVIA, 1978
- Tapa dura
Librería: Biblioteca di Babele, Tarquinia, VT, ItaliaBiblioteca di Babele
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 4,00
Envío por EUR 42,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,25
Envío por EUR 14,02Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,25
Envío por EUR 14,02Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,23
Envío por EUR 18,13Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,10
Envío por EUR 18,13Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
Metasoft Primer : Towards a Metalanguage for Applied Denotational Semantics
Blikle, Andrzej; Barstow, D. (EDT); Brauer, W. (EDT); Brinch Hansen, P. (EDT); Gries, D. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,91
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,08
Envío por EUR 17,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,44
Envío por EUR 17,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 88,43
Envío por EUR 17,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 1975 edition. 486 pages. 9.40x6.40x1.00 inches. In Stock.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 61,27Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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 sophis…ticated 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.
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,39
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
Editorial: Springer Berlin 1975, 1975
- Tapa blanda
Librería: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, AlemaniaAntiquariat Thomas & Reinhard
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 45,00
Envío por EUR 19,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
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.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 82,16
Envío por EUR 63,45Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: 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 aut…omata 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.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 121,78
Envío por EUR 29,27Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
Editorial: Warszawa, 1978
Librería: Zentralantiquariat Leipzig GmbH, Leipzig, AlemaniaZentralantiquariat Leipzig GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 3,00
Envío por EUR 48,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
24 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 333) Sprache: Englisch.
Editorial: Warszawa, 1979
Librería: Zentralantiquariat Leipzig GmbH, Leipzig, AlemaniaZentralantiquariat Leipzig GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 6,00
Envío por EUR 48,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
64 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 344) Sprache: Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,19
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: 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 reacti…on 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.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 emer…ged as a reaction to the sophisticated m.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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 t…o 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 160 pp. Englisch.
Más imágenes- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. MetaSoft Primer | Towards a Metalanguage for Applied Denotational Semantics | Andrzej Blikle | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1987 | Springer | EAN 9783540186571 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg,…productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.
