- 5 Risultati
prezzo più basso: € 106,99, prezzo più alto: € 155,71, prezzo medio: € 140,58
1
Formal Refinement for Operating System Kernels - Craig, Iain D. D.
Ordina
da Amazon.de (Intern. Bücher)
€ 140,52
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Craig, Iain D. D.:

Formal Refinement for Operating System Kernels - edizione con copertina flessibile

2010, ISBN: 9781849966894

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 348 Seiten, Publiziert: 2010-10-13T00:00:01Z, Produktgruppe: Buch, 1.18 kg, Informatik, IT-Ausbildung & -Beruf… Altro …

Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
Chiudere (X)
2
Formal Refinement for Operating System Kernels - Craig, Iain D. D.
Ordina
da Amazon.de (Intern. Bücher)
€ 149,69
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Craig, Iain D. D.:

Formal Refinement for Operating System Kernels - edizione con copertina flessibile

2010, ISBN: 9781849966894

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 348 Seiten, Publiziert: 2010-10-13T00:00:01Z, Produktgruppe: Buch, 1.18 kg, Informatik, IT-Ausbildung & -Beruf… Altro …

Costi di spedizione:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
Chiudere (X)
3
Formal Refinement for Operating System Kernels - Iain D. Craig
Ordina
da Hugendubel.de
€ 106,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Iain D. Craig:
Formal Refinement for Operating System Kernels - edizione con copertina flessibile

2007

ISBN: 9781849966894

*Formal Refinement for Operating System Kernels* - Softcover reprint of hardcover 1st ed. 2007 / Taschenbuch für 106.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien >… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
4
Formal Refinement for Operating System Kernels - Craig, Iain D.
Ordina
da Achtung-Buecher.de
€ 155,71
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Craig, Iain D.:
Formal Refinement for Operating System Kernels - edizione con copertina flessibile

2010, ISBN: 1849966893

edizione con copertina rigida

Softcover reprint of hardcover 1st ed. 2007 Kartoniert / Broschiert SeparationKernel; kernel; operatingsystem; security; userinterface, mit Schutzumschlag 11, [PU:Springer London; Sprin… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
5
Formal Refinement for Operating System Kernels - Iain D. Craig
Ordina
da Hugendubel.de
€ 149,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Iain D. Craig:
Formal Refinement for Operating System Kernels - edizione con copertina flessibile

2007, ISBN: 1849966893

edizione con copertina rigida

Formal Refinement for Operating System Kernels ab 149.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2007. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet, Springer L… Altro …

Nr. 13994506. Costi di spedizione:, , DE. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Formal Refinement for Operating System Kernels
Autore:
Titolo:
ISBN:

9781849966894


The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.

Informazioni dettagliate del libro - Formal Refinement for Operating System Kernels


EAN (ISBN-13): 9781849966894
ISBN (ISBN-10): 1849966893
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2010
Editore: Springer London
348 Pagine
Peso: 0,526 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2011-11-18T01:06:36+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-12-20T04:48:47+01:00 (Zurich)
ISBN/EAN: 9781849966894

ISBN - Stili di scrittura alternativi:
1-84996-689-3, 978-1-84996-689-4

Altri libri che potrebbero essere simili a questo:

Ultimo libro simile:
9781846289675 Formal Refinement for Operating System Kernels (Iain D. Craig)

< Per archiviare...