Importo totale (1 articolo articoli):
Destinazione ordine:
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (34)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (23)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (6)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (3)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (2)
- Con foto (11)
- Non Print on Demand (27)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Lecture Notes in Computer Science, Volume 288: MetaSoft Primer - Towards a Metalanguage for Applied Denotational Semantics.
Lingua: Inglese
Editore: Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540186573 ISBN 13: 9783540186571
Da: SUNSET BOOKS 2, Newark, OH, U.S.A.
Valutazione del venditore 4 su 5 stelle
Prima edizione
Paperback. Condizione: 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)
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. Pages tanned from age. Text block clean and unmarked. Tight binding.
-
-
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, 288)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,50
Spedizione EUR 3,44
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974 (Lecture Notes in Computer Science, 28)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,72
Spedizione EUR 3,44
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974 (Lecture Notes in Computer Science, 28)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 60,35
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, 288)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,54
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974 (Lecture Notes in Computer Science, 28)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,54
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,36
Spedizione EUR 17,86
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,21
Spedizione EUR 17,86
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,15
Spedizione EUR 17,29
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 4,21
Spedizione EUR 74,93
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Light overall wear with inscription to inner front cover, some sellotape repairs to hinges, otherwise good, clean and unmarked, throughout.
-
Condizione: New. pp. 160.
-
Mathematical Foundations of Computer Science 1974 : 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,40
Spedizione EUR 17,29
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974 (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974. Book.
-
Pamietnik niedzielnego poety Wydany z okazji 110 lat istnienia Firmy A. Blikle i 50 lat mojej pracy w firmie 1869-1928-1979
Editore: Sport i Turystyka, VARSAVIA, 1978
ISBN 13: 2560668022694
Da: Biblioteca di Babele, Tarquinia, VT, Italia
Valutazione del venditore 5 su 5 stelle
EUR 8,00
Spedizione EUR 42,00
Spedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
Mathematical Foundations of Computer Science 1974: 3rd Symposium at Jadwisin Near Warsaw, June 17 - 22, 1974 (Lecture Notes in Computer Science)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 86,86
Spedizione EUR 17,29
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1975 edition. 486 pages. 9.40x6.40x1.00 inches. In Stock.
-
Doktryna jako?ci: Rzecz o turkusowej samoorganizacji
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 47,47
Spedizione EUR 6,46
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1987
ISBN 10: 3540186573 ISBN 13: 9783540186571
EUR 53,49
Spedizione EUR 61,27
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1975
ISBN 10: 3540071628 ISBN 13: 9783540071624
EUR 66,39
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Springer Berlin 1975, 1975
Da: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Germania
Valutazione del venditore 4 su 5 stelle
EUR 45,00
Spedizione EUR 17,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert, 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)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 127,05
Spedizione EUR 28,82
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Mathematical Foundations of Computer Science, 1974
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 484.
-
Specified programming.
Editore: Warszawa, 1978
Da: Zentralantiquariat Leipzig GmbH, Leipzig, Germania
Valutazione del venditore 5 su 5 stelle
EUR 3,00
Spedizione EUR 48,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello24 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 333) Sprache: Englisch.
-
A survey of input-output semantics and program verification.
Editore: Warszawa, 1979
Da: Zentralantiquariat Leipzig GmbH, Leipzig, Germania
Valutazione del venditore 5 su 5 stelle
EUR 6,00
Spedizione EUR 48,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello64 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 344) Sprache: Englisch.
-
MetaSoft Primer
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 81,35
Spedizione EUR 7,49
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: 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
Lingua: Inglese
Editore: Springer Berlin Heidelberg Nov 1987, 1987
ISBN 10: 3540186573 ISBN 13: 9783540186571
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 64,19
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
MetaSoft Primer
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 82,49
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 160.
