Filters
- Springer
- 1st Book Library
- 12th Media Services
- A A Balkema Publishers
- ABC-CLIO
- Abdul Ahad Ansari
- Ablex Publishing Corporation
- Academic
- Academic Press
- Academica Press
- Accepted, Inc.
- Access Education
- Access Navajo, LLC
- ACM
- ACM Books
- Acpil
- Addison-Wesley Professional
- Adlard Coles Nautical Press
- Adobe Press
- Afnil
- Afolabi Onadipe
- Agencia del ISBN
- ALA
- ALA Editions
- ALA Techsource an Imprint of American Library
- Ali Keler
- Amazon
- Amazon Digital Services LLC - Kdp
- Amba Press
- American Book Group - Ra-Ma
- American Diabetes Association
- American Mathematical Society
- American Medical Association
- American Printing House for the Blind
- American Society for Quality Press
- Amherst Media
- Amsterdam University Press
- Anatiposi Verlag
- Ancestry.com
- Anchor Academic Publishing
- Aneko Press
- Anson Street Press
- Anthem Press
- Antigonos Verlag
- Antonio Primitivo Peralta Chavez, Pf
- Anu Press
- Applewood Books
- Apress
- Archway Publishing
- Arcler Press
- Arcturus Publishing Ltd
- Arizona Business Alliance
- Arizona Center for Medieval and Renaissance S
- Arkose Press
- Arm Education Media
- Artech House Publishers
- ASCD
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Aspen Publishing
- ASQ Quality Press
- Assoc of College & Research Libraries
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Association for Supervision & Curriculum Deve
- Association of College & Research Libraries
- Astral International Pvt. Ltd.
- Athabasca University Press
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Augsburg Fortress Publishing
- Aussie Trading LLC
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Avery Hall
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Balboa Press
- Baptist Standard Bearer
- Baris Sarialioglu
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Barrons Test Prep
- Baylor University Press
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for IT
- Bdm History
- Bdtoolbox.Org
- Belknap Press
- Bellevue Publishers
- Benediction Classics
- Bentham Science Publishers
- BPB Publications
- BPS Blackwell
- Springer
- 1st Book Library
- 12th Media Services
- A K Peters
- A K PETERS
- ABC-CLIO
- Abdul Ahad Ansari
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- Academica Press
- Accepted, Inc.
- Access Education
- Access Navajo, LLC
- ACM
- ACM Books
- Acpil
- Addison-Wesley Professional
- Adlard Coles Nautical Press
- Adobe Press
- Afnil
- Afolabi Onadipe
- Agencia del ISBN
- ALA Editions
- ALA Techsource an Imprint of American Library
- Ali Keler
- Amazon Digital Services LLC - Kdp
- Amba Press
- American Book Group - Ra-Ma
- American Diabetes Association
- American Institute of Physics
- American Mathematical Society
- American Medical Association
- American Printing House for the Blind
- American Society for Quality Press
- Amherst Media
- Amsterdam University Press
- Anatiposi Verlag
- Ancestry.com
- Anchor Academic Publishing
- Aneko Press
- Anson Street Press
- Anthem Press
- Antigonos Verlag
- Antonio Primitivo Peralta Chavez, Pf
- Anu Press
- Apple Academic Press
- Applewood Books
- Apress
- Archway Publishing
- Arcler Press
- Arcturus Publishing Ltd
- Arizona Business Alliance
- Arizona Center for Medieval and Renaissance S
- Arkose Press
- Arm Education Media
- Artech House Publishers
- ASCD
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Ashgate
- Asian Development Bank
- Aspen Publishing
- ASQ Quality Press
- Assoc of College & Research Libraries
- Associacao Brasileira de Psicanalise - Abraps
- Association for Computing Machinery
- Association for Supervision & Curriculum Deve
- Association of College & Research Libraries
- Astral International Pvt. Ltd.
- Athabasca University Press
- Atlantic
- Atropos Press
- Auerbach P
- Auerbach Publications
- Augsburg Fortress Publishing
- Aussie Trading LLC
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Avery Hall
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Balboa Press
- Baptist Standard Bearer
- Baris Sarialioglu
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Barrons Test Prep
- Baylor University Press
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for IT
- Bdm History
- BMJ Books
- BPB Publications
- BPS Blackwell
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Children Books
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Food Science & Technology
- Foreign Languages
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- Alan Clarke
- Alcides Loureiro Santos
- Alison Clark-Wilson
- Alistair Cockburn
- Amara Hawthorn
- Amy Bain
- Andy Field
- Anonym
- Anonymous
- António Pedro Costa
- Asadi
- Ascent - Center for Technical Knowledge
- Ascent -. Center for Technical Knowledge
- Ava Ross
- Betzabe Escobar Espinoza
- Brian Houghton Hodgson
- Brian Wood
- Bruno de Souza Toledo
- Caden Hawthorne
- Calvin Noyes Kendall
- Carlos Cuellar
- Caroline Frances Cornwallis
- Charles Kingsley
- Conrad Chavez
- Corecommonstandards Com
- Cox
- Dagny Gunhilda Sunne
- Damien Kee
- David Hume
- David MacBride
- Dennis Howitt
- Diego Silva
- Divya Sharma
- Dmitry Vostokov
- Eduard Vanin
- Elijah Lewis
- Evan-Moor Educational Publishers
- Felicia Toliver
- Francis Bent Mboyo Ndombo
- Gary Metcalfe
- Gaurav Verma
- Gebhard Deissler
- Georg Wilhelm Friedrich Hegel
- Gerry Stahl
- Gleydson Augusto Gomes Da Mata
- Gloire Bwenge
- Guy Hart-Davis
- Harvard University Library
- Henry Ward Beecher
- Herbert Puchta
- James Anthony Froude
- Jcm-Texes Test Preparation Group
- Jennifer Serravallo
- Jim Cooling
- Jimmy Rolando Molina Ríos
- John Greenleaf Whittier
- John Ries
- John Stuart Mill
- Josiah Coombes
- Juliana Deyse Amorim Vilela
- Juliane Da Cruz Oliveira
- Kalaimani S
- Kaplan
- Kelly Anton
- Kevin Siegel
- Kiet Huynh
- Lewis Morris
- Lisa Fridsma
- Lorena Piliponsky
- Margaret Benson
- Mary Martha Sherwood
- Matthew Bowling
- Matthew James Higgins
- Miguel Ángel Ladrón de Guevara
- Milad Karimi
- Milo P. Jewett
- Modern Educator
- Mohammad Kaleem Galamali
- Murray Fife
- Oecd
- Oxford University Press
- Paul E. Harris
- Paul Tran
- Phillis Wheatley
- Randy H. Shih
- Rosa Imelda García Chi
- Russell Chun
- Samuel Seabury
- Sergey Nosov
- Sham Tickoo Purdue Univ
- Sharon A. Wynne
- Speedy Publishing LLC
- Susanna Király
- The Law Library
- Thomas Secker
- Thompson Carter
- Tiziana Margaria
- William Buell Sprague
- William Miller
- William Vance
Products
The B Language and Method: A Guide to Practical Formal Development
Kevin Lano
Paperback
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
| /
• Author(s): Kevin Lano • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralB is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through t...
View full details
