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
- Beeflow Publishing
- Bert Daniels
- Biblioscholar
- Blurb
- Bod - Books on Demand
- Bookbaby
- Books on Demand
- Boston Light Press
- BPB Publications
- Bpb Publications
- Brainy Software
- Brbks, Ltd.
- Broquard eBooks
- Butterworth-Heinemann
- 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
- Cornell University Press
- 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
- Educational Computing Services Ltd
- 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
- 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
- Beeflow Publishing
- Bert Daniels
- Biblioscholar
- Birkhauser
- Blurb
- Bod - Books on Demand
- Bookbaby
- Books on Demand
- Boston Light Press
- BPB Publications
- Bpb Publications
- Brainy Software
- Brbks, Ltd.
- Broquard eBooks
- But-Hein
- Butterworth-Heinemann
- 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
- Cornell University Press
- 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
- Educational Computing Services Ltd
- Eliva Press
- Elluminet Press
- Elowen Elliott
- Engineering Science Reference
- Eric Mormin
- Errol Howard
- Evelyn Ortiz
- Examicus Verlag
- Eyrolles Group
- Faber Publishing
- Aaron Langille
- Abhinav Ojha
- Alan Grid
- Aleksei Sedunov
- Alistair Cockburn
- Allen B. Downey
- Andrew Schumann
- Andrew W. Appel
- Andy H. Register
- Anshuman Mishra
- Arnold V. Willemer
- Avi Bhattacharyya
- Axel Kotulla
- Barry Burd
- Barry Jay
- Barry Kauler
- Barry L. Nelson
- Ben Smith
- Benno Biewer
- Bertrand Meyer
- Bjarne Stroustrup
- Booker Blunt
- Budi Kurniawan
- Carl Keyness
- Carlos Alberto Privitera
- Cay Horstmann
- Christian Servin
- Christopher Ford
- Christos K. K. Loverdos
- Claude Delannoy
- Claus Führer
- Colin Moock
- Cuantum Technologies
- D. A. Wolfram
- Daniel E. Miller
- Daniel J. Duffy
- David A. Wheeler
- David Barnes
- David Livingston J
- Diana Schmidt
- Dietrich Boles
- Dusty Phillips
- Eddy Odijk
- Ekbert Hering
- Ekkehard Kaier
- Elian Greystone
- Elisa Bertino
- Ernane R. Martins
- Ernst-Wolfgang Dieterich
- Fabian Schnabel
- Francesco Luna
- G. Arockia Sahaya Sheela
- Gerhard Goos
- Giuseppe Castagna
- Godwin Ani
- Graeme Smith
- Greyson Chesterfield
- Haris Tsetsekas
- Holger Schwichtenberg
- Ignatius Ogbaga
- Jarrel E
- Jean Marcel Mbikayi Mpanya
- Johaneris Ávalos
- John Hunt
- John Paul Mueller
- Joslyn A. Smith
- K. Laxminarayanamma
- K. R. Martin
- Kameron Hussain
- Kent Beck
- Krzysztof R. Apt
- Logan Pratt
- Lucien Sina
- Luis Fernando Aguas Bucheli
- Manana Chumburidze
- Marco Forestier
- Mark J. Price
- Martin Schader
- Mike McGrath
- Oscar R. Frost
- Phiquill Publishing
- Pythquill Publishing
- R. M. Price-Mohr
- Rafael Sanders
- Ronald Mak
- Rupesh Kumar Tipu
- S. Balamurugan
- Scott W. Ambler
- Sqlpy Wizard
- Stéphane Ducasse
- Steven F. Lott
- Stoyan Stefanov
- Sukanya N
- Sunny Singh
- Ted Faison
- Thompson Carter
- Tony Bevis
- Usharani Bhimavarapu
- Vaskaran Sarcar
- Yang Hu
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