Importo totale (1 articolo articoli):
Destinazione ordine:
bill stoddart (25 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (25)
- 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 (12)
- Come nuovo, Ottimo o Quasi ottimo (7)
- Molto buono o Buono (4)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (24)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (18)
- Non Print on Demand (22)
Lingua (2)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Music Machine
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 6,13
Spedizione EUR 5,63
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
-
The music machine
Da: Cotswold Internet Books, Cheltenham, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 4,10
Spedizione EUR 15,58
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used - Good. Good paperback. 1st edition. The book of the film. Pages a little browned; some wear to cover. Used - Good. Good paperback.
-
The Music Machine
Da: Zardoz Books, Westbury, WILTS, Regno Unito
Valutazione del venditore 3 su 5 stelle
EUR 4,70
Spedizione EUR 23,02
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello1st UK paperback edition. Condizione: vg++. film tie-in 1st Sphere 1979 edition paperback vg++ condition. In stock shipped from our UK warehouse.
-
The Music Machine
Da: Zardoz Books, Westbury, WILTS, Regno Unito
Valutazione del venditore 3 su 5 stelle
EUR 4,70
Spedizione EUR 23,02
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello1st UK paperback edition. Condizione: fine. film tie-in 1st Sphere 1979 edition paperback fine condition. In stock shipped from our UK warehouse.
-
THE MUSIC MACHINE
Editore: Sphere rpt.1979 (Colour photos) : A paperback book. Reduced postage on multiple orders., 1979
Da: Mr.G.D.Price, Mansfield, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 3,09
Spedizione EUR 10,39
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloVERY GOOD condition.
-
Unifying Theories of Programming
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 19,06
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 270.
-
The Music Machine
Da: Book Express (NZ), Shannon, Nuova Zelanda
Valutazione del venditore 4 su 5 stelle
EUR 4,14
Spedizione EUR 26,71
Spedito da Nuova Zelanda a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Good. 160 pages. Cover wornThe disco movie sensation of the year.
-
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science)
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
EUR 21,99
Spedizione EUR 24,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Auflage: 2000. 456 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 15,5 x 2,5 cm, Taschenbuch.
-
Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings (Lecture Notes in Computer Science, 1945)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 439 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Unifying Theories of Programming : First International Symposium, Utp 2006, Walworth Castle, County Durham, Uk, February 5-7, 2006, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1945)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,95
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Integrated Formal Methods : Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 73,83
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Unifying Theories of Programming : First International Symposium, Utp 2006, Walworth Castle, County Durham, Uk, February 5-7, 2006, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Unifying Theories of Programming : First International Symposium, Utp 2006, Walworth Castle, County Durham, Uk, February 5-7, 2006, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,93
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Integrated Formal Methods : Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,93
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Integrated Formal Methods : Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,37
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Unifying Theories of Programming : First International Symposium, Utp 2006, Walworth Castle, County Durham, Uk, February 5-7, 2006, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,48
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 55,87
Spedizione EUR 28,85
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like NewLIKE NEW. book.
-
Integrated Formal Methods : Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 84,35
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Unifying Theories of Programming
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2006
ISBN 10: 354034750X ISBN 13: 9783540347507
EUR 64,08
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006Presents 14 revised full papersFocuses on the most significant resultsThis book constitutes the thoroughly refereed post-proceedin.
-
EUR 53,49
Spedizione EUR 63,43
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted of invited talks from Sir Tony Hoare FRS and Wolfram Schulte, along with 22 papers selected from 58 submissions. Applying formal methods may involve the modelling of di erent aspects of a system that are expressed through di erent paradigms. This motivates us to research the combination of di erent viewpoints of a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective with the innovative use of an existing notation. The integration of formal methods promises great bene ts to systems - delling and software development. Regardless of the approach taken, however, signi cant issues can arise in areas such as semantic integration, the tracta- lity of our notations, the integration of tool support, the integration of proof systems, consistency, and completeness. Issues arise equally in our conceptua- sation of systems at di erent levels of abstraction and the development of these conceptualisations through the process of re nement.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Integrated Formal Methods | Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings | Wolfgang Grieskamp (u. a.) | Taschenbuch | x | Englisch | 2000 | Springer | EAN 9783540411963 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Integrated Formal Methods
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2000
ISBN 10: 3540411968 ISBN 13: 9783540411963
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talk.- Assertions.- Linking and Extending Notations.- State-Based Extension of CASL.- Linking DC Together with TRSL.- Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes.- A Process Compensation Language.- Activity Graphs an.
-
Integrated Formal Methods
Lingua: Inglese
Editore: Springer, Springer Okt 2000, 2000
ISBN 10: 3540411968 ISBN 13: 9783540411963
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talk.- Assertions.- Linking and Extending Notations.- State-Based Extension of CASL.- Linking DC Together with TRSL.- Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes.- A Process Compensation Language.- Activity Graphs and Processes.- Structuring Real-Time Object-Z Specifications.- ISpec: Towards Practical and Sound Interface Specifications.- Methodology.- Cooperation of Formal Methods in an Engineering Based Software Development Process.- Developing Control Systems Components.- Specification and Analysis of Automata-Based Designs.- Structural Refinement in Object-Z / CSP.- Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs.- Foundation of One Formalism by Another.- Construction of Finite Labelled Transition Systems from B Abstract Systems.- -Charts and Z: Hows, Whys, and Wherefores.- Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.- Invited Talk.- Why Doesn't Anyone Use Formal Methods .- Semantics.- How to Write a Healthiness Condition.- A Concurrent and Compositional Petri Net Semantics of Preemption.- Verification and Validation.- An Approach to Symbolic Test Generation.- Behavioral Conformance Verification in an Integrated Approach Using UML and B.- Predicate Diagrams for the Verification of Reactive Systems.- Modular Verification for a Class of PLTL Properties.- Towards Model Checking Stochastic Process Algebra.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 456 pp. Englisch.
-
Integrated Formal Methods
Lingua: Inglese
Editore: Springer Berlin Heidelberg Okt 2000, 2000
ISBN 10: 3540411968 ISBN 13: 9783540411963
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 96,29
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 -IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted of invited talks from Sir Tony Hoare FRS and Wolfram Schulte, along with 22 papers selected from 58 submissions. Applying formal methods may involve the modelling of di erent aspects of a system that are expressed through di erent paradigms. This motivates us to research the combination of di erent viewpoints of a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective with the innovative use of an existing notation. The integration of formal methods promises great bene ts to systems - delling and software development. Regardless of the approach taken, however, signi cant issues can arise in areas such as semantic integration, the tracta- lity of our notations, the integration of tool support, the integration of proof systems, consistency, and completeness. Issues arise equally in our conceptua- sation of systems at di erent levels of abstraction and the development of these conceptualisations through the process of re nement. 456 pp. Englisch.
