Filters
- Springer
- 619 Wreath
- A A Balkema Publishers
- A K Peters
- A R M A International
- AB + Publications
- Abbott Press
- Abingdon Press
- Ablex Publishing Corporation
- Academic
- Academic Press
- Academica Press
- Academiques
- Acpil
- Addison-Wesley Professional
- Adele Toral
- ALA Neal-Schuman
- Alfred Music
- Alpha Science International, Ltd
- Altamira Press
- Amazing Reads
- Amberg Press
- American Academic Press
- American Anthropological Association
- American Federation of Astrologers
- American Medical Publishers
- American Psychological Association (APA)
- American Society of Mechanical Engineers
- Amherst Media
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Antonia Vanderhick
- Anu Press
- Apollos
- Applause Theatre & Cinema Book Publishers
- Apress
- Arboretum Books
- ARC Manor
- ARC Music Group
- Archaeopress
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arkose Press
- Art by Roslyn
- Artech House
- Artech House Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- Aspen Publishing
- ASQ Quality Press
- Association for Computing Machinery
- Association for Supervision & Curriculum Deve
- ASTD
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auckland University Press
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press UK
- Barber Press
- Barman Press
- Barry B Connors
- Bayshop (Generis Publishing)
- Beckworth Publishers
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Bentham Science Publishers
- Berg Publishers
- Bergin & Garvey
- Berklee Press Publications
- Berrett-Koehler Publishers
- Bibliogov
- BiblioLife
- Biblioscholar
- Bibliotech Press
- Bielefeld University Press
- Birch Tree Publishing
- Birkhauser
- Bis Publishers
- Blink Publishing
- Bloomberg Press
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Academic India
- Bloomsbury India
- Bloomsbury Libraries Unlimited
- Bloomsbury Publishing
- Bloomsbury Publishing (UK)
- Bloomsbury Publishing PLC
- Springer
- 619 Wreath
- A K PETERS
- A K Peters/CRC Press
- A R M A International
- AB + Publications
- Abbott Press
- Abingdon Press
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- Academica Press
- Academiques
- Acpil
- ACSESS
- Addison-Wesley Professional
- Adele Toral
- Adis
- ALA Neal-Schuman
- Alfred Music
- Allen & Unwin
- Alpha Science International, Ltd
- Altamira Press
- Amazing Reads
- Amberg Press
- American Academic Press
- American Anthropological Association
- American Federation of Astrologers
- American Medical Publishers
- American Psychological Association (APA)
- American Society of Mechanical Engineers
- Amherst Media
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Antonia Vanderhick
- Anu Press
- Apollos
- Applause Theatre & Cinema Book Publishers
- Apple Academic Press
- Apress
- Arboretum Books
- ARC Manor
- ARC Music Group
- Archaeopress
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arkose Press
- Art by Roslyn
- Artech
- Artech House Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- Aspen Publishing
- ASQ Quality Press
- Association for Computing Machinery
- Association for Supervision & Curriculum Deve
- ASTD
- Atlantic
- Atropos Press
- Auckland University Press
- Auerbach P
- Auerbach Publications
- Auris
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press UK
- Barber Press
- Barman Press
- Barry B Connors
- Bayshop (Generis Publishing)
- Beckworth Publishers
- Bedford
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Bentham Science Publishers
- Berg Publishers
- Bergin & Garvey
- Berklee Press Publications
- Berrett-Koehler Publishers
- Bibliogov
- BiblioLife
- Biblioscholar
- Bibliotech Press
- Bielefeld University Press
- Birch Tree Publishing
- Birkhauser
- Birkhäuser
- Bis Publishers
- Blackwell
- Blink Publishing
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- Fashion & Textile
- Fisheries & Aquaculture
- Food Science & Technology
- Foreign Languages
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- Hindi Literature
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Nutrition and Dietetics
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Sports and Physical Fitness
- Tourism, Travel Guide & Hospitality
- Veterinary
- Writing/Research Methods
- A. H. Monteith
- A. K. Tyagi
- Abdel Hernández San Juan
- Adolphe Papin
- Aimé Mbobi
- Alberto De Tornos
- Ali Pourhashemi
- Anon
- Anonymous
- Antonio Cerone
- Bernard C. Beins
- Bonnie S. Brennen
- Brian Paltridge
- Bryant W. Rossiter
- Business Training Corporation
- Catherine Dawson
- Celia Lury
- Charles Alexander McMurry
- Charles Laban Adams
- Christian Constanda
- Collectif
- Commerce Clearing House
- Dan Remenyi
- Dana Prescott Bartlett
- Daniele Antonio Di Pietro
- Domenico Ribatti
- Duc Thai Nguyen
- Emile Coue
- Erica Scharrer
- Frank Austin Gooch
- Frank S. De Boer
- Franklin Day Jones
- G. Pattenden
- G. R. Liu
- G. W. Lewis
- Halbert Powers Gillette
- Harold Jeffreys
- Harold Ordway Rugg
- Helen Kara
- Henry Kiddle
- Henry Sidgwick
- Hung Phu Bui
- Information R. Management Association
- Ioannis Hatzilygeroudis
- James F. Epperson
- James L. 1846-1935 Hughes
- Janet M. Ruane
- Janice M. Morse
- Jim Davies
- John Don
- John Swett
- Jon Lorsch
- K.R. Sharma
- Katherine Melvina Huntsinger Blackford
- Kenneth J. Berry
- Larkin Dunton
- Lawrence K. Frank
- Lazarus White
- Lorenzo Galluzzi
- Louis Agassiz
- M. Lakshmi Prasad
- Maggie O'Neill
- Manolis Papadrakakis
- Marcelo M. Soares
- Marco Bernardo
- Margaret Alston
- Maria Montessori
- Mario Andrea Marchisio
- Mark Chang
- Mary Sheldon Barnes
- Mehdi Rahmani-Andebili
- Mel Bay
- Melanie Nind
- Michael B. Smith
- Michael Butler
- Michael Griebel
- Morris B. Holbrook
- N. Balakrishnan
- National Salesmen's Training Associatio
- National Salesmen's Training Association
- Newton N. Riddell
- Ngoc Thanh Nguyen
- Nicholas Walliman
- Norman K. Denzin
- P. Michael Conn
- Pat Bazeley
- Paul Carus
- Rene Descartes
- René Descartes
- Sans Auteur
- Shaoying Liu
- Stephen M. Croucher
- Team Prabhat
- Tiziana Margaria
- U S Environmental Protection Agency
- Various
- Werrett Wallace Charters
- Wilfred Welday Scott
- William H. Storms
- Zakarya Ouelaa
Products
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures
Frank S. De Boer
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Frank S. De Boer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFormal methods have been applied successfully to the verification of medium-sized programs in protocol and ...
View full details
Formal Methods for Components and Objects
Frank S. De Boer, Marcello M. Bonsangue, Stefan Hallerstede
Paperback
Current price
₹5,727
Original price
₹6,873
Original price
₹6,873
Original price
₹6,873
(-17%)
₹5,727
Current price
₹5,727
| /
• Author(s): Frank S. De Boer | Marcello M. Bonsangue | Stefan Hallerstede • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralAll modern industries rely on large and complex software syste...
View full details
Formal Methods for Components and Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures
Frank S. De Boer
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Frank S. De Boer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFormal methods have been applied successfully to the verification of medium-sized programs in protocol and ...
View full details
Formal Methods for Components and Objects
Frank S. De Boer
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Frank S. De Boer • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignFormal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their appl...
View full details
