Search results for “[Subject: programming-object-oriented]”
Filters
- Springer
- 17 Books Publishing
- 3dtech
- 64 Ink
- A K PETERS
- Aaip
- Ability First Limited
- ACM
- ACM Books
- Addison-Wesley Professional
- Adobe Developer Library
- Afnil - ISBN France
- Alan Grid
- Ali Cehreli
- American Book Group - Ra-Ma
- American Book Group-Rama
- Anchor Academic Publishing
- Annabooks, LLC.
- Appacore, LLC
- Apress
- Arcler Press
- Artech House Publishers
- Asian Culture Press
- ASTD
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Ava Morelli
- Beelectronic
- Bert Daniels
- Biblioscholar
- Bloomsbury Academic
- Blurb
- Bod - Books on Demand
- Books on Demand
- Bpb Publications
- BPB Publications
- Brbks, Ltd.
- Broquard eBooks
- Butterworth-Heinemann
- Bytebytego
- Cadcim Technologies
- Cambridge University Press
- Cambridge UP
- Carl Keyness
- Cengage
- Cengage Learning
- Cengage Learning India
- Charles M Dominquez
- Chestnut Press
- Christopher Ford
- Clanrye International
- Clydebank Media LLC
- Cognella Academic Publishing
- College Publications
- Consilience Media
- Course Technology
- CRC Press
- Createspace Independent Publishing Platform
- Crossbridge Books
- Datasci Editora
- David Belbeze
- David Bryant Copeland
- David Lee
- Depot Legal - Bibliotheque Et Archives Nation
- Deutscher Universitatsverlag
- Dexter Rogers
- Diplom.de
- Dreamsongs Press
- E3
- Eae Editorial Academia Espanola
- Ebookit.com
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- Educational Computing Services Ltd
- Eliva Press
- Elluminet Press
- Elowen Elliott
- Elsevier
- Engineering Science Reference
- Eric Mormin
- Errol Howard
- Examicus Verlag
- Eyrolles Group
- Faber Publishing
- For Dummies
- Friends of ED
- Gabler Verlag
- Globeedit
- Greg Lim
- Grin Verlag
- Hitex Press
- Humans and Technology Inc
- Humans and Technology Press
- Hutson Street Press
- I/O Press
- IGI Global
- Springer
- 17 Books Publishing
- 3dtech
- 64 Ink
- A K PETERS
- Aaip
- Ability First Limited
- ACM
- ACM Books
- Addison-Wesley Professional
- AddisWesle
- Adobe Developer Library
- Afnil - ISBN France
- Alan Grid
- Ali Cehreli
- American Book Group - Ra-Ma
- American Book Group-Rama
- Anchor Academic Publishing
- Annabooks, LLC.
- Appacore, LLC
- Apress
- Arcler Press
- Artech House Publishers
- Asian Culture Press
- ASTD
- Atlantis Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Ava Morelli
- Beelectronic
- Bert Daniels
- Biblioscholar
- Birkhauser
- Bloomsbury Academic
- Blurb
- Bod - Books on Demand
- Books on Demand
- Bpb Publications
- BPB Publications
- Brbks, Ltd.
- Broquard eBooks
- But-Hein
- Butterworth-Heinemann
- Bytebytego
- Cadcim Technologies
- Cambridge
- Cambridge University Press
- Carl Keyness
- Cengage Learning
- Cengage Learning India
- Chapman & Hall
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Chestnut Press
- Christopher Ford
- Clanrye International
- Clydebank Media LLC
- Cognella Academic Publishing
- College Publications
- Consilience Media
- Course Tec
- Course Technology
- CRC Press
- CRC/CH
- Createspace Independent Publishing Platform
- Crossbridge Books
- Datasci Editora
- David Belbeze
- David Bryant Copeland
- David Lee
- Depot Legal - Bibliotheque Et Archives Nation
- Deutscher Universitatsverlag
- Dexter Rogers
- Diplom.de
- Dreamsongs Press
- E3
- Eae Editorial Academia Espanola
- Ebookit.com
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- Educational Computing Services Ltd
- Eliva Press
- Elluminet Press
- Elowen Elliott
- Engineering Science Reference
- Eric Mormin
- Errol Howard
- Examicus Verlag
- Eyrolles Group
- Faber Publishing
- For Dummies
- Friends of ED
- Gabler Verlag
- Globeedit
- Greg Lim
- Aaron Langille
- Adair Dingle
- Adam Jones
- Aishwarya Shiva
- Alan Grid
- Alistair Cockburn
- Allen B. Downey
- Amara Hawthorn
- Andrew Albert
- Andrew Schumann
- Andrew W. Appel
- Andy H. Register
- Arjen Markus
- Arnold V. Willemer
- Arvind Kumar Bansal
- Avinash C. Kak
- B. Henderson-Sellers
- Barry Burd
- Barry Jay
- Barry Kauler
- Ben Smith
- Bernhard Beckert
- Bert Kloppel
- Bertrand Meyer
- Bjarne Stroustrup
- Brahma Dathan
- Caleb Ross
- Carl Keyness
- Carlos Alberto Privitera
- Cay Horstmann
- Cay S. Horstmann
- Charles W. Kann
- Charlie Masterson
- Chris Devon
- Chris Roda
- Christian Gross
- Christian Ullenboom
- Christopher Kormanyos
- Claude Delannoy
- Cliff B. Jones
- Colin Moock
- Computer Language
- Constantine Pozrikidis
- D. A. Wolfram
- Damian Rouson
- Dan Clark
- David Barnes
- Dusty Phillips
- Elian Greystone
- Ernane R. Martins
- Giuseppe Castagna
- H. Partsch
- Herbert Schildt
- Howard Bowman
- Ignatius Ogbaga
- Jarrel E
- Jean Marcel Mbikayi Mpanya
- Jeanne Boyarsky
- Joel Murach
- John Hunt
- John I. Moore
- John Paul Mueller
- José M. Garrido
- Joseph Bergin
- Joyce Farrell
- Julio Sanchez
- K. Laxminarayanamma
- Kameron Hussain
- Kent D. Lee
- Lucien Sina
- Luis Fernando Aguas Bucheli
- M. T. White
- Mark C. Lewis
- Martin Aupperle
- Matthew D. Passmore
- Mike McGrath
- Mira Mezini
- Oscar R. Frost
- Paolo Ciancarini
- Paul Deitel
- Phiquill Publishing
- Pythquill Publishing
- Reema Thareja
- Rismon Hasiholan Sianipar
- Rohit G. Bal
- Rupesh Kumar Tipu
- S. Balamurugan
- Sqlpy Wizard
- Stéphane Ducasse
- Stéphane Gill
- Steven F. Lott
- Sunny Singh
- Ted Faison
- Theophilus Edet
- Thompson Carter
- Trey Nash
- Vaskaran Sarcar
- Walter S. Brainerd
- Yang Hu
- Yegor Bugayenko
Products
Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino
Bernhard Beckert
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): Bernhard Beckert • Publisher: Springer • Publisher Imprint: Springer • BISAC: Artificial Intelligence - GeneralLong gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are ...
View full details
Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Paperback
Current price
₹5,105
Original price
₹6,126
Original price
₹6,126
Original price
₹6,126
(-17%)
₹5,105
Current price
₹5,105
| /
• Author(s): Bernhard Beckert | Ferruccio Damiani | Dilian Gurov • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersThis book presents the thoroughly refereed post-conference proceedings of the International Conference on Forma...
View full details
Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Bernhard Beckert, Claude Marché
Paperback
Current price
₹5,666
Original price
₹6,800
Original price
₹6,800
Original price
₹6,800
(-17%)
₹5,666
Current price
₹5,666
| /
• Author(s): Bernhard Beckert | Claude Marché • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book presents the thoroughly refereed post-conference proceedings of the International...
View full details
