Filters
- Springer
- Academic Press
- ACM
- ACM Books
- Apress
- Arm Education Media
- Arm Education Media UK
- Artech House Publishers
- Auerbach Publications
- Authorhouse UK
- Bachelor + Master Publishing
- Bentham Science Publishers
- Bibliogov
- Biblioscholar
- Blue Monkey Media
- Bod - Books on Demand
- Book on Demand Ltd.
- Bookbaby
- Booksurge Publishing
- Bpb Publications
- BPB Publications
- Byron Mattingly
- Byul Hur
- CABI
- Cabi
- Cambridge University Press
- Cambridge UP
- China National Publications Import & Export C
- Clanrye International
- Clube de Autores
- Cognella Academic Publishing
- Copperhill Media Corporation
- CRC Press
- Createspace Independent Publishing Platform
- Cuvillier
- Deutscher Universitatsverlag
- Diplom.de
- Diplomica Verlag
- Dissertation.com
- Dr. Ant
- E-Man Press LLC
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editorial Academica Espanola
- Edizioni Sapienza
- Eliva Press
- Elsevier
- Elsevier Science
- Elsevier Science Publishing Co Inc
- Embedded Systems Academy Inc.
- Engineering Science Reference
- Examicus Verlag
- Fierce Press
- First Edition
- For Dummies
- Grin Publishing
- Grin Verlag
- Hartung & Gorre
- Hutson Street Press
- I/O Press
- IBM Press
- Idea Group Publishing
- Idea Group,U.S.
- IGI Global
- Imperial College Press
- Independent Publisher
- Independently Published
- Information Science Reference
- Institution of Engineering & Technology
- Intech
- Intechopen
- IOP Publishing Ltd
- ISP Services Inc.
- Iste Press - Elsevier
- John Wiley & Sons Inc
- John Wiley and Sons Ltd
- Karlsruher Institut Fur Technologie
- Lakeview Research
- LAP Lambert Academic Publishing
- Learning Bytes Publishing
- Lucas Bernas
- Lulu.com
- Manning Publications
- Mastec
- Mazidi & Naimi
- McGraw Hill
- McGraw-Hill Companies
- McGraw-Hill Education
- Mdpi AG
- Medical Information Science Reference
- Meem Publishers
- Mercury Learning and Information
- Micrium
- Microdigitaled
- MIG Consulting Ltd
- MIT Press
- Monkmakes Press
- Morgan Kaufmann Publishers
- Mstmicro Publishing
- Narosa Publishing House
- Springer
- Acad Pr
- Academic Press
- ACM
- ACM Books
- Apress
- Arm Education Media
- Arm Education Media UK
- Artech House Publishers
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Authorhouse UK
- Bachelor + Master Publishing
- Bentham Science Publishers
- Bibliogov
- Biblioscholar
- Birkhauser
- Blue Monkey Media
- Bod - Books on Demand
- Book on Demand Ltd.
- Bookbaby
- Booksurge Publishing
- Bpb Publications
- BPB Publications
- Byron Mattingly
- Byul Hur
- CABI
- Cabi
- Cambridge
- Cambridge University Press
- Chapman and Hall/CRC
- Chapman Hall
- China National Publications Import & Export C
- Clanrye International
- Clube de Autores
- Cognella Academic Publishing
- Copperhill Media Corporation
- CRC Press
- CRC/CH
- Createspace Independent Publishing Platform
- Cuvillier
- Deutscher Universitatsverlag
- Diplom.de
- Diplomica Verlag
- Dissertation.com
- Dr. Ant
- E-Man Press LLC
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editorial Academica Espanola
- Edizioni Sapienza
- Eliva Press
- Elsevier
- Elsevier Science
- Elsevier Science Publishing Co Inc
- Embedded Systems Academy Inc.
- Engineering Science Reference
- Examicus Verlag
- Fierce Press
- First Edition
- For Dummies
- Grin Publishing
- Grin Verlag
- Hartung & Gorre
- Hutson Street Press
- I/O Press
- IBM Press
- Idea Group Publishing
- Idea Group,U.S.
- IGI Global
- Imperial College Press
- Independent Publisher
- Independently Published
- Information Science Reference
- Institution of Engineering & Technology
- Intech
- Intechopen
- IOP Publishing Ltd
- ISP Services Inc.
- Iste Press - Elsevier
- JennyStanford
- John Wiley
- John Wiley and Sons Ltd
- Karlsruher Institut Fur Technologie
- Kluwer Academic Publishers
- Lakeview Research
- LAP Lambert Academic Publishing
- Learning Bytes Publishing
- Lucas Bernas
- Lulu.com
- Manning Publications
- Mar Dekker
- Mastec
- Mazidi & Naimi
- McGraw Hill
- McGraw-Hill Companies
- McGraw-Hill Education
- MIG Consulting Ltd
- MIT Press
- Abderazek Ben Abdallah
- Achim Rettberg
- Ahmed Amine Jerraya
- Ahmed Nabil Belbachir
- Ahmet Bindal
- Al-Sakib Khan Pathan
- Alaeddine Hmidi
- Alan Moore
- Albert Brian Desmond
- Alex Orailoglu
- Alexander Barkalov
- Alexander G. Dean
- Alfredo Benso
- Ali Ibrahim
- Amir Sabbagh Molahosseini
- Anonymous
- Anupam Chattopadhyay
- Arnold Berger
- Arslan Munir
- Ata Elahi
- Balaji V. R.
- Basel Halak
- Bernard Candaele
- Bernd Kleinjohann
- Biplab Das
- Biswajit Mishra
- Brian C. Ryan
- Byron Mattingly
- Cecil Gates
- Cesare Alippi
- Chris Simmonds
- Christopher Kormanyos
- Christopher Matthews
- Colin Walls
- Corwin Halesworth
- Cristian Ciurea
- Cristina Silvano
- Daniel D. Gajski
- Daniel Lewis
- Daniele Lacamera
- Deep Gupta
- Dogan Ibrahim
- Donald W. Knight
- Dorothy T. Salamone
- Doug Abbott
- Douglas Summerville
- Eluan Dan
- Ethan K. Morray
- Eugenio Villar
- Evan Flux
- Farzin Asadi
- Feng Zhang
- Florin Balasa
- Francky Catthoor
- Frank Oppenheimer
- Gabriela Nicolescu
- Gedare Bloom
- Georgios Kornaros
- Gerry Stahl
- Gul N. Khan
- Gunar Schirner
- Guy Gogniat
- Harry Fairhead
- Hideto Hidaka
- Hollis Denning
- Hsiang-Cheh Huang
- Iain D. Craig
- Ian O'Connor
- Ingrid M. R. Verbauwhede
- Ivan Cibrario Bertolotti
- Ivan Radojevic
- J. Labrosse Jean
- Jack Ganssle
- James Carlsen
- James J. Park
- Jan Axelson
- Jean J. Labrosse
- Jean Labrosse
- Jean-Michel Bergé
- Jonathan W. Valvano
- Jörg Henkel
- K. C. Wang
- Laurence T. Yang
- Lucio Di Jasio
- Malvin M. Clark
- Meikang Qiu
- Ming-Bo Lin
- Nadia Nedjah
- Ohmshankar S
- Per Stenström
- Puja Acharya
- Rhys Gallagher
- S. A. K. Jilani
- S. Gopalakrishnan
- Sarful Hassan
- Stem School
- Stuart Ball
- Thomas S. Berger
- Yifeng Zhu
- Yury Magda
Products
Formal Refinement for Operating System Kernels
Iain D. Craig
Hardcover
Current price
₹7,277
Original price
₹11,194
Original price
₹11,194
Original price
₹11,194
(-35%)
₹7,277
Current price
₹7,277
| /
• Author(s): Iain D. Craig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThe kernel of any operating system is its most critical component. The remainder of the sys...
View full details
Formal Refinement for Operating System Kernels
Iain D. Craig
Paperback
Current price
₹7,277
Original price
₹11,194
Original price
₹11,194
Original price
₹11,194
(-35%)
₹7,277
Current price
₹7,277
| /
• Author(s): Iain D. Craig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThe kernel of any operating system is its most critical component. The remainder of the sys...
View full details
