Search results for “[Subject: computers-coding-programming]”
Filters
- Springer
- 17 Books Publishing
- 3dtech
- 12th Media Services
- A K Peters
- A K PETERS
- Abdelfattah Ragab
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Adventure Times Narratives
- Afnil
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- AIAA (American Institute of Aeronautics & Ast
- Aiden Phillips
- ALA Editions
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Amazing Books
- Amazon Digital Services LLC - KDP Print US
- American Academy of Pediatrics
- American Book Group-Rama
- American Mathematical Society
- Amicus Ink
- Amicus Learning
- Amplitudo Ltd
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Antony Mwau
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- APress
- Apress
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Association for Computing Machinery
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- Baby Professor
- Bagatelle Publications
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Batsford
- Bellwether Media Inc.
- Bentham Science Publishers
- Bergeron-Woodley Company
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Billding Software
- Binary World Productions SL
- Birkhauser
- Bitmap Books
- Blacknes Guy Books
- Blastoff! Readers
- Bloomsbury Publishing PLC
- Blurb
- Bob Mai
- Bob Mather
- Bod - Books on Demand
- Book Bound Studios
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Boston Light Press
- Bounce Rank
- Bpb Publications
- BPB Publications
- Brightwalton
- Buch & Netz
- Business Science Reference
- Butterworth-Heinemann
- C. Press/F. Watts Trade
- CABI
- CBS Publishers & Distributors Pvt. Ltd.
- CQ Press
- CRC Press
- Springer
- 17 Books Publishing
- 3dtech
- 12th Media Services
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Abdelfattah Ragab
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Acad Pr
- Academic Press
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- ADA Protosmith
- ADavis Publishing
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- Adventure Times Narratives
- Afnil
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- AIAA (American Institute of Aeronautics & Ast
- Aiden Phillips
- ALA Editions
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Amazing Books
- Amazon Digital Services LLC - KDP Print US
- American Academy of Pediatrics
- American Book Group-Rama
- American Mathematical Society
- Amicus Ink
- Amicus Learning
- Amplitudo Ltd
- Andrews UK Limited
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Antony Mwau
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- Apple Academic Press
- APress
- Apress
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Association for Computing Machinery
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- Baby Professor
- Bagatelle Publications
- Barcharts, Inc
- Bartlett Publishing
- Basic Books
- Batsford
- Bedford
- Bellwether Media Inc.
- Bentham Science Publishers
- Bergeron-Woodley Company
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Billding Software
- Binary World Productions SL
- Birkhauser
- Bitmap Books
- Blacknes Guy Books
- Blastoff! Readers
- Bloomsbury Publishing PLC
- Blurb
- Bob Mai
- Bob Mather
- Bod - Books on Demand
- Book Bound Studios
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Boston Light Press
- Bounce Rank
- Bpb Publications
- BPB Publications
- Brightwalton
- Buch & Netz
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Computer Science and Information Technology
- Earth-Science/Environment
- Education & Psychology
- Engineering
- English Literature
- General Books
- Graphic Design & Animation
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Adesh Silva
- Alan Grid
- Alberto Pettorossi
- Alexander Cane
- Amara Hawthorn
- Andrew Troelsen
- Anna Ursyn
- Anshuman Mishra
- Anthony J. Dos Reis
- Aristides Bouras
- Biblebyte Books
- Bill Martens
- Bob Mather
- Booker Blunt
- Caroline Karanja
- Cay Horstmann
- Charles Lins
- Charlie Masterson
- Chris Roffey
- Clive Gifford
- Codingtmd
- Computer Programming Academy
- Cyberpunk Architects
- D. James Benton
- Damon Parker
- Dan Gookin
- Dan Zhang
- Daniel Bell
- David Kopec
- Devon Coder
- Dines Bjørner
- DK
- Donald Sannella
- Echo Elise Gonzalez
- Eddison, Leonard
- Edward R. DeForest
- Ekkehard Kaier
- Elian Greystone
- Elizabeth Noll
- Fedor V. Fomin
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Francis Gurtowski
- Frank Dehne
- Fritz Rudolf Güntsch
- Gagniuc
- Gerard O'Regan
- Gerhard Oetzmann
- Goldink Books
- Greyson Chesterfield
- Haja N. Kadarmideen
- Harald Schumny
- Herbert Schildt
- Huazhong Liu
- Ira Greenberg
- Isaac D. Cody
- J. Roger Hindley
- James M. Ortega
- James Tudor
- Jill Sherman
- Joe Suzuki
- John Paul Mueller
- John Wood
- Juergen Pintaske
- Julio Sanchez
- Kameron Hussain
- Kenwright
- Kevin Cooper
- Kiki Prottsman
- Kirsty Holmes
- Lynn Smith
- Manfred Broy
- Mark Greenshields
- Max Wainewright
- Maxwell Vector
- Michael A. Champagne
- Michael McGuire
- Mikael Olsson
- Mike McGrath
- National Learning Corporation
- Oswald Campesato
- Oxford University Press
- Phil Bagge
- Reema Thareja
- Reinhard Wilhelm
- Richard Edwards
- Rinesh S. Prajitha C.
- Robert C. Matthews
- Smith
- Sqlpy Wizard
- Stewart
- Thompson Carter
- Tim Roughgarden
- Timothy Amadi
- Tony Gaddis
- Tracy Gardner
- Veljko Milutinovic
- Wilhelm Gehrke
- Wolfgang Engel
- Yang Hu
Products
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
Donald Sannella
Paperback
Current price
₹5,794
Original price
₹5,849
Original price
₹5,849
Original price
₹5,849
(-1%)
₹5,794
Current price
₹5,794
| /
• Author(s): Donald Sannella • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume contains the papers selected for presentation at the fifth European Symposium on Programming (ES...
View full details
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella
Paperback
Current price
₹5,821
Original price
₹8,955
Original price
₹8,955
Original price
₹8,955
(-35%)
₹5,821
Current price
₹5,821
| /
• Author(s): Donald Sannella • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverThis book provides foundations for software specification and formal software development from the perspective of work on alg...
View full details
Foundations of Algebraic Specification and Formal Software Development
Donald Sannella
Hardcover
Current price
₹8,005
Original price
₹12,314
Original price
₹12,314
Original price
₹12,314
(-35%)
₹8,005
Current price
₹8,005
| /
• Author(s): Donald Sannella • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFrom the Back CoverThis book provides foundations for software specification and formal software development from the perspective of work on alg...
View full details
