Gesamtpreis (1 Artikel Artikel):
Versandziel:
formal models operating system von craig iain (31 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (31)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (28)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Weitere Eigenschaften
- Erstausgabe (3)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (12)
- Keine Print-on-Demand Angebote (24)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Formal Models Of Operating System Kernels (Hb 2007)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 49,56
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 5 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
EUR 51,74
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 5 verfügbar
In den WarenkorbZustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Models of Operating System Kernels
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
EUR 55,52
Währung umrechnenKostenlos für den Versand von Australien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Formal Models of Operating System Kernels
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 156,00
Währung umrechnenEUR 2,28 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Formal Models of Operating System Kernels
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 160,17
Währung umrechnenEUR 2,28 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Formal Models of Operating System Kernels
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 158,97
Währung umrechnenEUR 3,45 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Models of Operating System Kernels
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 159,38
Währung umrechnenEUR 3,45 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Models of Operating System Kernels
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 158,90
Währung umrechnenEUR 13,78 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Models of Operating System Kernels
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 158,90
Währung umrechnenEUR 13,78 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Models of Operating System Kernels (Hardcover)
Verlag: Springer London Ltd, England, 2006
ISBN 10: 1846283752 ISBN 13: 9781846283758
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 181,21
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: new. Hardcover. The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in April, 2005, I decided to devote some time to it and produced what amounted to a ?rst version of the kernel to be found in Chapter 3 of this book. I even produced a few proofs, just to show that I was not on a completely insane tack. I decided to suggest the material as the subject of a book to Beverley Ford. The material was sent on a Thursday (I think). The following Monday, I received an email from her saying that it had gone out for review. The review process took less than 2 weeks; the response was as surprising as it was encouraging: a de?nite acceptance. So I got on with it. This book is intended as a new way to approach operating systems - sign in general, and kernel design in particular. It was partly driven by the old ambition mentioned above, by the need for greater clarity where it comes to kernels and by the need, as I see it, for a better foundation for operating systemsdesign.Securityaspects,too,playedapartasnotedintheintrod- tory chapter, if a systems kernel is insecure or unreliable, it will undermine attemptstoconstructsecuresoftwareontopofit.Securitydoesnototherwise play a part in this book. Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This title presents a formal specification of a kernel, starting with basic constructs and developing a set of kernels. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Models of Operating System Kernels (Paperback)
Verlag: Springer London Ltd, England, 2010
ISBN 10: 1849965927 ISBN 13: 9781849965927
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 181,21
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach -- presenting a formal specification of a kernel -- starts with basic constructs and develops a set of kernels; proofs are included as part of the text. Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach presenting a formal specification of a kernel starts with basic constructs and develops a set of kernels; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Models of Operating System Kernels
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 186,52
Währung umrechnenEUR 2,28 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Formal Models of Operating System Kernels
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 195,92
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Models of Operating System Kernels
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 172,97
Währung umrechnenEUR 28,76 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
-
Formal Models of Operating System Kernels
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 206,93
Währung umrechnenEUR 2,28 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
EUR 207,56
Währung umrechnenEUR 3,45 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 348.
-
Formal Models of Operating System Kernels
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 194,66
Währung umrechnenEUR 10,50 für den Versand von Irland nach USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New. Num Pages: 333 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 489. . 2010. 1st ed. Softcover of orig. ed. 2007. Paperback. . . . .
-
Formal Models of Operating System Kernels
Verlag: Springer London, Springer London Dez 2006, 2006
ISBN 10: 1846283752 ISBN 13: 9781846283758
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 160,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.
-
Formal Models of Operating System Kernels
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 164,49
Währung umrechnenEUR 62,64 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
Formal Models of Operating System Kernels
Verlag: Springer London, Springer London, 2006
ISBN 10: 1846283752 ISBN 13: 9781846283758
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 166,62
Währung umrechnenEUR 63,44 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbBuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
Formal Models of Operating System Kernels
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 245,99
Währung umrechnenEUR 9,08 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New. Num Pages: 333 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 489. . 2010. 1st ed. Softcover of orig. ed. 2007. Paperback. . . . . Books ship from the US and Ireland.
-
Formal Models of Operating System Kernels
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 235,33
Währung umrechnenEUR 28,76 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 333 pages. 9.25x6.25x0.75 inches. In Stock.
-
Formal Models of Operating System Kernels (Paperback)
Verlag: Springer London Ltd, England, 2010
ISBN 10: 1849965927 ISBN 13: 9781849965927
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 284,78
Währung umrechnenEUR 31,99 für den Versand von Australien nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach -- presenting a formal specification of a kernel -- starts with basic constructs and develops a set of kernels; proofs are included as part of the text. Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach presenting a formal specification of a kernel starts with basic constructs and develops a set of kernels; Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Formal Models of Operating System Kernels (Hardcover)
Verlag: Springer London Ltd, England, 2006
ISBN 10: 1846283752 ISBN 13: 9781846283758
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
EUR 288,23
Währung umrechnenEUR 31,99 für den Versand von Australien nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: new. Hardcover. The work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system speci?cation in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in April, 2005, I decided to devote some time to it and produced what amounted to a ?rst version of the kernel to be found in Chapter 3 of this book. I even produced a few proofs, just to show that I was not on a completely insane tack. I decided to suggest the material as the subject of a book to Beverley Ford. The material was sent on a Thursday (I think). The following Monday, I received an email from her saying that it had gone out for review. The review process took less than 2 weeks; the response was as surprising as it was encouraging: a de?nite acceptance. So I got on with it. This book is intended as a new way to approach operating systems - sign in general, and kernel design in particular. It was partly driven by the old ambition mentioned above, by the need for greater clarity where it comes to kernels and by the need, as I see it, for a better foundation for operating systemsdesign.Securityaspects,too,playedapartasnotedintheintrod- tory chapter, if a systems kernel is insecure or unreliable, it will undermine attemptstoconstructsecuresoftwareontopofit.Securitydoesnototherwise play a part in this book. Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This title presents a formal specification of a kernel, starting with basic constructs and developing a set of kernels. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Formal Models of Operating System Kernels
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 112,34
Währung umrechnenEUR 23,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Operating systems kernels are central to the functioning of computers. Security of the overall system, as well as its reliability and responsiveness, depend upon the correct functioning of the kernel. This unique approach - presenting a formal specification of a kernel - starts with basic constructs and develops a set of kernels; proofs are included as part of the text. 348 pp. Englisch.
-
Formal Models of Operating System Kernels
Verlag: Springer London, Springer London Dez 2006, 2006
ISBN 10: 1846283752 ISBN 13: 9781846283758
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 160,49
Währung umrechnenEUR 23,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 348 pp. Englisch.
-
EUR 136,16
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book to provide formal specifications for kernelsClear descriptions of how kernels are central to the functioning of computers, with particular reference to the security and reliability of the operating systemTakes a prescriptive.
-
EUR 136,16
Währung umrechnenEUR 48,99 für den Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. First book to provide formal specifications for kernelsClear descriptions of how kernels are central to the functioning of computers, with particular reference to the security and reliability of the operating systemTakes a prescriptive.
-
Formal Models of Operating System Kernels
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 218,96
Währung umrechnenEUR 7,48 für den Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 348 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Formal Models of Operating System Kernels
Verlag: Springer London, Springer London Okt 2010, 2010
ISBN 10: 1849965927 ISBN 13: 9781849965927
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 160,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.
