Importo totale (1 articolo articoli):
Destinazione ordine:
kai engelhardt (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 (18)
- Come nuovo, Ottimo o Quasi ottimo (5)
- Molto buono o Buono (2)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
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 (6)
- Non Print on Demand (20)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
EUR 5,12
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloCondizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
EUR 5,31
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 14 disponibili
Aggiungi al carrelloCondizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47) (Volume 0)
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 77,43
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47) (Volume 0)
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,87
Spedizione EUR 13,98
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Data Refinement
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press CUP, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 436.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 166,89
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 169,27
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
EUR 101,66
Spedizione EUR 63,52
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 168,17
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 159,59
Spedizione EUR 13,98
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 159,58
Spedizione EUR 17,51
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Data Refinement : Model-Oriented Proof Methods and Their Comparison
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1999
ISBN 10: 0521641705 ISBN 13: 9780521641708
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 176,98
Spedizione EUR 17,51
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
GWB Kommentar: Vergaberecht : Vergaberecht
Lingua: Tedesco
Editore: Reguvis Fachmedien, Bundesanzeiger, 2016
ISBN 10: 3846205508 ISBN 13: 9783846205501
EUR 117,45
Spedizione EUR 68,39
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloGebundene Ausgabe. Condizione: Sehr gut. Gebraucht - Sehr gut SG - leichte Beschädigungen oder Verschmutzungen, ungelesenes Mängelexemplar, gestempelt, Versand Büchersendung - Der Gesetzgeber hat die vergaberechtlichen Vorschriften des GWB im Jahr 2016 aufgrund der neuen europäischen Vergaberichtlinien umfassend überarbeitet. Der Regelungsumfang hat hierbei erheblich zugenommen, insbesondere hat das GWB grundlegende Vorschriften der Vergabeverordnungen und Vergabeordnungen übernommen. Das GWB hat in der täglichen Vergabepraxis daher deutlich an Bedeutung gewonnen.Das GWB beinhaltet insbesondere folgende Neuregelungen: - Öffentlich-öffentliche Zusammenarbeit - Vergabe von Konzessionen - Vergabe von Personenverkehrsleistungen im Eisenbahnverkehr - Sonderregime der sozialen und anderen besonderen Dienstleistungen - Innovationspartnerschaft - Leistungsbeschreibung - Ausschlussgründe mangels Eignung der Unternehmen - Selbstreinigung und Ausschlusszeiträume - Auftragsänderungen während der Vertragslaufzeit Der Kommentar zum GWB-Vergaberecht berücksichtigt die Neuerungen der Vergaberechtsreform 2016 sowie die aktuelle Rechtsprechung und erläutert die Vergabevorschriften prägnant, praxisgerecht und wissenschaftlich fundiert. Ergänzt wird das Werk durch die Gesetzesbegründung des Bundestages (BT-Drs. 18/6281). Sie erhalten hierdurch ein wertvolles Hilfsmittel für die tägliche Vergabepraxis.
-
GWB - Kommentar -Language: german
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
GWB - Kommentar -Language: german
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 206,31
Spedizione EUR 17,51
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
GWB - Kommentar -Language: german
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 226,82
Spedizione EUR 17,51
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
-
GWB - Kommentar -Language: german
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
EUR 254,09
Spedizione EUR 7,59
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Condizione: New.
-
Data Refinement: Model-Oriented Proof Methods and their Comparison
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,71
Spedizione EUR 14,59
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 435 pages. 8.90x5.98x1.18 inches. In Stock. This item is printed on demand.
-
Data Refinement
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 106,66
Spedizione EUR 7,59
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 436 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
-
Data Refinement
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 106,70
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 436.
-
Data Refinement
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521103509 ISBN 13: 9780521103503
EUR 78,72
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Graduate text in formal methods in computer science.InhaltsverzeichnisPart I. Theory: 1. Introduction to data refinement 2. Simulation as a proof method for data refinement 3. Relations and recursion 4. Properties of simulation 5.
-
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Libro 29 di 40: Cambridge Tracts in Theoretical Computer ScienceDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 174,58
Spedizione EUR 14,59
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 423 pages. 9.50x6.50x1.25 inches. In Stock. This item is printed on demand.
