Search results for “[Subject: languages-java]”
Filters
- Springer
- 1st Book Library
- 12th Media Services
- 3trees Publishing
- Ability First Limited
- Academic
- Accesstruth
- ACLS History E-Book Project
- Addison-Wesley Professional
- Adesh Silva
- Adventure Times Narratives
- Alan Grid
- Alfonso Floyd
- American Academic Press
- American Book Group - Ra-Ma
- American Book Group-Rama
- Amphoto Books
- Anatiposi Verlag
- Anson Street Press
- Anthony Depalma
- Anu E Press
- Anu Press
- Apress
- Arkose Press
- Asian Lizard Languages
- Aurodonnan Media
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Babadada
- Bachelor + Master Publishing
- Balboa Press
- Baptist Standard Bearer
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Barrons Test Prep
- Benediction Books
- Bentham Science Publishers
- Berghahn Books
- Biblebyte Books
- Bibliogov
- BiblioLife
- Biblioscholar
- Bibliotech Press
- Bilingual Club
- Binker North
- Biz Hub
- Blacknes Guy Books
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Blurb
- Bod - Books on Demand
- Book Jungle
- Bookleaf Publishing
- Box Twelve Press
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- Braddock Bull
- Bradley H. Shprintz
- Brainy Software
- Bravex Publications
- Brill
- British Film Institute
- British Library, Historical Print Editions
- Brown Walker Press
- Butterworth-Heinemann
- Cadcim Technologies
- California UP
- Cambridge University Press
- Cambridge UP
- Canut Publishers
- Cengage
- Cengage Learning
- Cengage Learning India
- Center for the Study of Language and Informat
- Center Ring Productions
- Ch Publications
- Chelsea Press
- China National Publications Import & Export C
- Christopher Ford
- Cirrus Test Prep
- College Board
- College Publications
- Columbia University Press
- Compendium Developments Ltd
- Continuum
- Cornell University Press
- Cornell University Press and Cornell Universi
- Cornell UP
- Cornerstone
- Cosimo Classics
- CRC Press
- Createspace
- Createspace Independent Publishing Platform
- Critical Publishing
- Crown House Publishing
- Springer
- 1st Book Library
- 12th Media Services
- 3trees Publishing
- Ability First Limited
- Academic
- Accesstruth
- ACLS History E-Book Project
- Addison-Wesley Professional
- Adesh Silva
- Adventure Times Narratives
- Alan Grid
- Alfonso Floyd
- American Academic Press
- American Book Group - Ra-Ma
- American Book Group-Rama
- Amphoto Books
- Anatiposi Verlag
- Anson Street Press
- Anthony Depalma
- Anu E Press
- Anu Press
- Apress
- Arkose Press
- Asian Lizard Languages
- Auerbach Publications
- Aurodonnan Media
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Babadada
- Bachelor + Master Publishing
- Balboa Press
- Baptist Standard Bearer
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Barrons Test Prep
- Benediction Books
- Bentham Science Publishers
- Berghahn Books
- Biblebyte Books
- Bibliogov
- BiblioLife
- Biblioscholar
- Bibliotech Press
- Bilingual Club
- Binker North
- Biz Hub
- Blacknes Guy Books
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Bloomsbury Visual Arts
- Blurb
- Bod - Books on Demand
- Book Jungle
- Bookleaf Publishing
- Box Twelve Press
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- Braddock Bull
- Bradley H. Shprintz
- Brainy Software
- Bravex Publications
- Brill
- British Film Institute
- British Library, Historical Print Editions
- Brown Walker Press
- But-Hein
- Butterworth-Heinemann
- Cadcim Technologies
- California
- Cambridge
- Cambridge University Press
- Canut Publishers
- Cengage Learning
- Cengage Learning India
- Center for the Study of Language and Informat
- Center Ring Productions
- Ch Publications
- Chapman and Hall/CRC
- Chelsea Press
- China National Publications Import & Export C
- Christopher Ford
- Cirrus Test Prep
- College Board
- College Publications
- Columbia University Press
- Compendium Developments Ltd
- Continuum
- Cornell University Press
- Cornell University Press and Cornell Universi
- Cornell UP
- Cornerstone
- Cosimo Classics
- Course Technology
- CRC Press
- CRC/CH
- Career Counselling
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Economics
- Education & Psychology
- Engineering
- English Literature
- Foreign Languages
- General Books
- History
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Adam L. Davis
- Adesh Silva
- Alan Grid
- Aleksei Sedunov
- Amara Hawthorn
- Andy Vickler
- Anghel Leonard
- Anonymous
- Antonio Goncalves
- Ashish Sarin
- Babadada Gmbh
- Balaji Varanasi
- Booker Blunt
- Budi Kurniawan
- C. F. Van Delden Laerne
- Carl Heinrich Stratz
- Carl Ludwig Blume
- Cay Horstmann
- Chandan Ghosh
- Charlie Masterson
- Christian Ullenboom
- Craig Walls
- Davis Simon
- Dinesh Rajput
- Edgar Vatamanitsa
- Edward Sapir
- Elian Greystone
- Franz Wilhelm Junghuhn
- George A Grierson
- Greyson Chesterfield
- Herbert Schildt
- III Decamora Lawrence G.
- J. Homan Van Der Heide
- J. W. B. Money
- James Anthony Froude
- Jardel Gugel
- Javin Paul
- Jeanne Boyarsky
- Jeff Friesen
- John Crawfurd
- John Frederick William Herschel
- John I. Moore
- John Joseph Stockdale
- John Smiley
- John Stuart Mill
- Jonathan Lalou
- José Antonio Bernal López
- Josh Juneau
- Karl Giesenhagen
- Kathy Sierra
- Kishori Sharan
- L. Vitalis
- L. Wessels
- Laurentiu Spilca
- Leo Code
- Leonie Falkner
- Lingua Classics
- Linguas Classics
- Lucien Sina
- Luis Fernando Aguas Bucheli
- Madhusudhan Konda
- Mahmoud Parsian
- Mala Gupta
- Marten Deinum
- Matthew Moodie
- Nathan Clark
- Neil Smyth
- Nick Samoylov
- Niranjan Lal
- Oscar R. Frost
- Paul Deitel
- Perry Goodman
- Peter Sestoft
- Peter Späth
- Philip Conrod
- Pieter Willem Filet
- Pinhok Languages
- Rafael Sanders
- Rakawi Prapantja
- Rismon Hasiholan Sianipar
- Rob Harrop
- Rudolf Willem Johan Cornelis Bake
- S. Coolsma
- Saka Prince
- Saumya Shukla
- Scott Selikoff
- Shikha Gautam
- Shikha Kesarwani
- Shraddha N. Zanjat
- Speedy Publishing LLC
- Theodore G. Th Pigeaud
- Theophilus Edet
- Thompson Carter
- Venkat Subramaniam
- Vibrant Publishers
- Walter Savitch
- Wilhelm Humboldt
- Wilhelm Von Humboldt
- X. Y. Wang
- Yang Hu
Products
Deductive Software Verification - The Key Book: From Theory to Practice
Wolfgang Ahrendt
Paperback
Current price
₹8,814
Original price
₹13,559
Original price
₹13,559
Original price
₹13,559
(-35%)
₹8,814
Current price
₹8,814
| /
• Author(s): Wolfgang Ahrendt • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralStatic analysis of software with deductive methods is a highly dynamic field of research on the verge of be...
View full details
