Search results for “[subject: programming-object-oriented]”
Filters
- MIT Press
- Springer
- 17 Books Publishing
- 3dtech
- 12th Media Services
- 978-83-966847-2-1
- A K PETERS
- Aaip
- Ability First Limited
- Ablex Publishing Corporation
- Academic Press
- ACM
- Addison-Wesley Professional
- Adobe Developer Library
- Alan Grid
- Amelia Hartman
- American Book Group - Ra-Ma
- American Book Group-Rama
- Annabooks, LLC.
- Appacore, LLC
- Apress
- Arcadia Sistemas
- Artech House Publishers
- Authorhouse
- Authorhouse UK
- Ava Morelli
- Baso
- Bert Daniels
- Biblioscholar
- Bloomsbury Publishing PLC
- Blurb
- Bod - Books on Demand
- Bookbaby
- Books on Demand
- Boston Light Press
- Bpb Publications
- BPB Publications
- Brainy Software
- Brbks, Ltd.
- Broquard eBooks
- CABI
- Cadcim Technologies
- Cambridge University Press
- Cambridge UP
- Carl Keyness
- Cayenne Canyon Press
- Cengage
- Cengage Learning
- Cengage Learning India
- Charles M Dominquez
- Chestnut Press
- Christopher Ford
- Clydebank Media LLC
- Cognella Academic Publishing
- College Publications
- Columbia University Press
- Consilience Media
- Continuum
- Coronat Services, LLC
- Corwin Publishers
- 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
- Digital Press
- Diplom.de
- Dreamsongs Press
- Eae Editorial Academia Espanola
- Edgehill Publishing
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- Eliva Press
- Elluminet Press
- Elowen Elliott
- Elsevier
- Engineering Science Reference
- Eric Mormin
- Errol Howard
- Evelyn Ortiz
- Examicus Verlag
- Eyrolles Group
- Faber Publishing
- Foicica.com
- For Dummies
- Frick Industries LLC
- Friends of ED
- Gabler Verlag
- Globeedit
- Golden Stag Productions
- Greenwich Publishing Ltd
- MIT Press
- Springer
- 17 Books Publishing
- 3dtech
- 12th Media Services
- 978-83-966847-2-1
- A K PETERS
- Aaip
- Ability First Limited
- Ablex Publishing Corporation
- Acad Pr
- Academic Press
- ACM
- Addison-Wesley Professional
- AddisWesle
- Adobe Developer Library
- Alan Grid
- Amelia Hartman
- American Book Group - Ra-Ma
- American Book Group-Rama
- Annabooks, LLC.
- Appacore, LLC
- Apress
- Arcadia Sistemas
- Artech House Publishers
- Atlantis Press
- Authorhouse
- Authorhouse UK
- Ava Morelli
- Baso
- Bert Daniels
- Biblioscholar
- Birkhauser
- Bloomsbury Publishing PLC
- Blurb
- Bod - Books on Demand
- Bookbaby
- Books on Demand
- Boston Light Press
- Bpb Publications
- BPB Publications
- Brainy Software
- Brbks, Ltd.
- Broquard eBooks
- But-Hein
- CABI
- Cadcim Technologies
- Cambridge
- Cambridge University Press
- Carl Keyness
- Cayenne Canyon Press
- Cengage Learning
- Cengage Learning India
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Chestnut Press
- Christopher Ford
- Clydebank Media LLC
- Cognella Academic Publishing
- College Publications
- Columbia University Press
- Consilience Media
- Continuum
- Coronat Services, LLC
- Corwin Publishers
- 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
- Digital Press
- Diplom.de
- Dreamsongs Press
- Eae Editorial Academia Espanola
- Edgehill Publishing
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- Eliva Press
- Elluminet Press
- Elowen Elliott
- Engineering Science Reference
- Eric Mormin
- Errol Howard
- Evelyn Ortiz
- Examicus Verlag
- Eyrolles Group
- Faber Publishing
- Foicica.com
- For Dummies
- Frick Industries LLC
- Aaron Langille
- Abhinav Ojha
- Adam Jones
- Alan Grid
- Aleksei Sedunov
- Allen B. Downey
- Amara Hawthorn
- Andrew Albert
- Andrew Schumann
- Andrew W. Appel
- Andy H. Register
- Andy Vickler
- Anonymous
- Anshuman Mishra
- Avi Bhattacharyya
- Barry Burd
- Barry Kauler
- Barry L. Nelson
- Benno Biewer
- Bert Kloppel
- Bertrand Meyer
- Bjarne Stroustrup
- Booker Blunt
- Boozman Richard
- Carlos Alberto Privitera
- Cay Horstmann
- Christopher Ford
- Christopher Kormanyos
- Cuantum Technologies
- Dan Clark
- Diego Rodrigues
- Dusty Phillips
- Ekbert Hering
- Elian Greystone
- Ernane R. Martins
- Gerhard Goos
- Greyson Chesterfield
- Guido Van Rossum
- Haris Tsetsekas
- Holger Schwichtenberg
- Ignatius Ogbaga
- Jarrel E
- Jean Marcel Mbikayi Mpanya
- Jeanne Boyarsky
- Joel Murach
- John Hunt
- John Paul Mueller
- Joseph Bergin
- Joyce Farrell
- K. Laxminarayanamma
- K. R. Martin
- Kameron Hussain
- Kent Beck
- Krzysztof R. Apt
- Logan Pratt
- Lucien Sina
- Luis Fernando Aguas Bucheli
- M. T. White
- Manana Chumburidze
- Manfred Broy
- Marco Forestier
- Mark C. Lewis
- Mark J. Price
- Mark Stehlik
- Martin Aupperle
- Martin Schader
- Matthew D. Passmore
- Mike McGrath
- Neil Smyth
- Oliver, Jr. Lucas
- Oscar R. Frost
- Paul Deitel
- Procode Publishing
- R. M. Price-Mohr
- Rafael Sanders
- Rismon Hasiholan Sianipar
- Robert Campbell
- Robert Martin
- Rohit G. Bal
- Ronald Mak
- Ruchi Kamra
- Rupesh Kumar Tipu
- Ruth Breu
- S. Balamurugan
- Scott W. Ambler
- Sonia De Jesus Rodrigues
- Sqlpy Wizard
- Stéphane Ducasse
- Steven F. Lott
- Sufyan Bin Uzayr
- Sukanya N
- Sunny Singh
- Theophilus Edet
- Thompson Carter
- Tony Bevis
- Tony Gaddis
- Usharani Bhimavarapu
- Vaskaran Sarcar
- Yang Hu
- Yegor Bugayenko
Products
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Hardcover
• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverComputer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioni...
View full detailsLogic Programming Languages: Constraints, Functions, and Objects
Krzysztof R. Apt, J. W. de Bakker, J. M. Rutten
Paperback
• Author(s): Krzysztof R. Apt | J. W. de Bakker | J. M. Rutten • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Logic DesignThis collection of current research on logic programming languages presents results from a three-year, ESPRI...
View full detailsVerification of Sequential and Concurrent Programs
Krzysztof R. Apt
Paperback
• Author(s): Krzysztof R. Apt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverComputer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioni...
View full details