Filters
- ACM Books
- Springer
- Springer Verlag
- 8080 Books
- 17 Books Ltd
- 4 Dog Arts
- 3dtech
- 99m
- 3p Vantage
- 1st Book Library
- 1st World Publishing
- 5starcooks
- 12th Media Services
- 2wice Books LLC
- 0xford University Press
- A A Balkema Publishers
- A K Peters
- A K PETERS
- A&C Black
- A&c Black 3pl
- A. Smith Media
- Aaron Brummet
- Aaron Martinez
- Abbott Press
- Abbott Properties
- ABDO & Daughters
- Abdul Ahad Ansari
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic
- Academic Press
- Academic Studies Press
- Academica Press
- Academy Press
- Acadia Publishing Company
- Accelerated Strategies Press
- Accepted, Inc.
- Accessibility Dot Net, Inc.
- ACM
- Acorn Books
- Ad Ilissum
- Adam Hott
- Addison Press
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Advantage Media Group
- Afnil
- Afolabi Onadipe
- Agence Francophone Pour La Numerotation Inter
- Aggadah Try It
- AIAA (American Institute of Aeronautics & Ast
- Ajaylakhotia
- ALA Editions
- Alan Grid
- Alberto Marchetti
- Alephsphere Publishing
- Aletheia Editions
- Alexander Tetelbaum
- Alexandra Georgas-Gait Hosbach
- Alexia Scott
- Alfred Music
- Alien Creations, Inc.
- Alinea Knowledge, LLC
- Am Press
- Amacom
- Amazing Books
- Amazon
- American Academic Press
- American Academic Publisher
- American Academic Research, USA
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group - Rama
- American Book Group-Rama
- American Eagle Books
- American Library Association
- American Mathematical Society
- American Medical Publishers
- American Society of Civil Engineers
- Amplitudo Ltd
- Amsterdam University Press
- Anatiposi Verlag
- Ancestry.com
- Anchor Academic Publishing
- Andrews UK Limited
- Aneko Press
- Anjum Publishers
- Ankit Bhandawat
- Anson Street Press
- Anthem Press
- Anu Press
- Apex Test Prep
- Appjungle.Net LLC
- Applied Maths Ltd
- Applied Research & Design
- Apress
- ASCD
- Springer
- 8080 Books
- 17 Books Ltd
- 4 Dog Arts
- 3dtech
- 99m
- 3p Vantage
- 1st Book Library
- 1st World Publishing
- 5starcooks
- 12th Media Services
- 2wice Books LLC
- 0xford University Press
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- A&C Black
- A&c Black 3pl
- A. Smith Media
- Aaron Brummet
- Aaron Martinez
- Abbott Press
- Abbott Properties
- ABDO & Daughters
- Abdul Ahad Ansari
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic
- Academic Press
- Academic Studies Press
- Academica Press
- Academy Press
- Acadia Publishing Company
- Accelerated Strategies Press
- Accepted, Inc.
- Accessibility Dot Net, Inc.
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Adam Hott
- Addison Press
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Advantage Media Group
- Afnil
- Afolabi Onadipe
- Agence Francophone Pour La Numerotation Inter
- Aggadah Try It
- AIAA (American Institute of Aeronautics & Ast
- Ajaylakhotia
- ALA Editions
- Alan Grid
- Alberto Marchetti
- Alephsphere Publishing
- Aletheia Editions
- Alexander Tetelbaum
- Alexandra Georgas-Gait Hosbach
- Alexia Scott
- Alfred Music
- Alien Creations, Inc.
- Alinea Knowledge, LLC
- Am Press
- Amacom
- Amazing Books
- American Academic Press
- American Academic Publisher
- American Academic Research, USA
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group - Rama
- American Book Group-Rama
- American Eagle Books
- American Library Association
- American Mathematical Society
- American Medical Publishers
- American Society of Civil Engineers
- Amplitudo Ltd
- Amsterdam University Press
- Anatiposi Verlag
- Ancestry.com
- Anchor Academic Publishing
- Andrews UK Limited
- Aneko Press
- Anjum Publishers
- Ankit Bhandawat
- Anson Street Press
- Anthem Press
- Anu Press
- Apex Test Prep
- Appjungle.Net LLC
- Apple Academic Press
- Applied Maths Ltd
- Applied Research & Design
- Apress
- ASCD
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Military and Police Studies
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Ahmed Seffah
- Ajith Abraham
- Alberto del Bimbo
- Alessandro Crimi
- Alexander Heifetz
- Álvaro Rocha
- Andrea Vedaldi
- Andreas Holzinger
- Andrew Fitzgibbon
- António Pedro Costa
- Arcangelo Distante
- Arie Gurfinkel
- Arthur Tatnall
- Audrius Lopata
- Bernard P. Zeigler
- Bertrand Meyer
- Bir Bhanu
- Boris Shishkov
- Borko Furht
- Christoph Niethammer
- D. Jude Hemanth
- Danail Stoyanov
- Daniel Cremers
- Daoliang Li
- David F. Rogers
- David Fleet
- David Salomon
- De-Shuang Huang
- Dines Bjørner
- Egon Börger
- Ernesto Damiani
- Erol Gelenbe
- Fatos Xhafa
- George A. Tsihrintzis
- Gerard O'Regan
- Halimah Badioze Zaman
- Hans Petter Langtangen
- Hans-Joachim Bungartz
- Hartmut Ehrig
- Hasso Plattner
- James F. Peters
- Jan Bosch
- Jin Akiyama
- Jon Peddie
- Jonathan P. Bowen
- José Cordeiro
- Jose L. Encarnacao
- Joseph Migga Kizza
- Juan Carlos Figueroa-García
- Jyoti Choudrie
- Khaled Elleithy
- Laura Leal-Taixé
- Leonard Barolli
- Manfred Broy
- Marco Aiello
- Marco Bernardo
- Margarita N. Favorskaya
- Maria Virvou
- Marina L. Gavrilova
- Michael M. Resch
- Miguel Botto-Tobar
- Murat Yilmaz
- Nadia Magnenat-Thalmann
- Natarajan Meghanathan
- Nikos Mastorakis
- Osvaldo Gervasi
- Paolo Ciancarini
- Patricia Pesado
- Paulo Novais
- Peter Deuflhard
- Pradeep Kumar Singh
- Qing Wang
- Radek Silhavy
- Ralf Denzer
- Reneta P. Barneva
- Rituparna Chaki
- Roger Lee
- Rogério de Lemos
- Roman Wyrzykowski
- Sabine Roller
- Shai Avidan
- Slimane Hammoudi
- Stefka Fidanova
- Sudeep Pasricha
- Suresh Chandra Satapathy
- Tai-hoon Kim
- Tarek Sobh
- Thomas G. Robertazzi
- Tiziana Margaria
- Tosiyasu L. Kunii
- Victor Malyshkin
- Vittorio Ferrari
- Wei Lu
- Witold Pedrycz
- Wolfgang E. Nagel
- Wolfgang Schreiner
- Yashwant Singh
- Yu-Chen Hu
- Yuxin Peng
- Zaigham Mahmood
Products
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 8-10 January 1992
Cliff B. Jones
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): Cliff B. Jones • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicRefinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs ...
View full details
