Filters
- Springer
- 4 Dog Arts
- 12 Sirens
- 1st Book Library
- 12th Media Services
- 8-Step Problem-Solving Method
- A K Peters
- Aaron Brummet
- Abingdon Press
- Ablex Publishing Corporation
- Academia
- Academic
- Academic Press
- Academic Studies Press
- Accepted, Inc.
- Acpil
- Adela Drăghici
- Adonis & Abbey Publishers
- Afolabi Onadipe
- Aggadah Try It
- Ahead Publishing House (Imprint: Okcir Press)
- ALA Editions
- Aletheia Editions
- Alexia Scott
- Alfred Music
- Altamira Press
- Am8 International
- Amazing Media Productions
- Amber Michele
- American Federation of Astrologers
- American Library Association
- American Psychological Association (APA)
- Amherst College
- Amphoto Books
- Amplitudo Ltd
- Amsterdam University Press
- Anaphora Literary Press
- Anastasia Chopelas, Ph.D.
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrew Zen
- Andrews UK Limited
- Aneko Press
- Angell Press
- Ankit Bhandawat
- Anson Street Press
- Anthea Peries
- Anthem Press
- Anu Press
- Apex Test Prep
- Arboretum Books
- Archaeopress Publishing
- Archway Publishing
- Arcturus Publishing Ltd
- Arden Shakespeare
- Arkose Press
- Artech House
- Artech House Publishers
- ASCD
- Ascent - Center for Technical Knowledge
- Associacao Brasileira de Psicanalise - Abraps
- ASTD
- Astrology Classics
- Ateneo de Manila Univ Press
- Ationa Publications
- Atlantic Publishers & Distributors (P) Ltd
- Aunt Lute Books
- Auris Reference
- Aurodonnan Media
- Austin Macauley
- Autarkaw.com
- Authorhouse
- Authorhouse UK
- Azhar Sario Hungary
- Aziloth Books
- B&h Spooner
- Baby Professor
- Bad Betty Press
- Balboa Press
- Balboa Press UK
- Baptist Standard Bearer
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Barrons Test Prep
- Bayshop (Generis Publishing)
- BearManor Media
- Bedlam Buster
- Belknap Press
- Benbella Books
- Benediction Classics
- Bentham Science Publishers
- Berg Publishers
- Berghahn Books
- Berklee Press Publications
- Berrett-Koehler Publishers
- Besonen Horror
- Bibliogov
- BiblioLife
- Springer
- 4 Dog Arts
- 12 Sirens
- 1st Book Library
- 12th Media Services
- 8-Step Problem-Solving Method
- A K Peters/CRC Press
- Aaron Brummet
- Abingdon Press
- Ablex Publishing Corporation
- Acad Pr
- Academia
- Academic
- Academic Press
- Academic Studies Press
- Accepted, Inc.
- Acpil
- Adela Drăghici
- Adis
- Adonis & Abbey Publishers
- Afolabi Onadipe
- Aggadah Try It
- Ahead Publishing House (Imprint: Okcir Press)
- ALA Editions
- Aletheia Editions
- Alexia Scott
- Alfred Music
- Altamira Press
- Am8 International
- Amazing Media Productions
- Amber Michele
- American Federation of Astrologers
- American Institute of Physics
- American Library Association
- American Psychological Association (APA)
- Amherst College
- Amphoto Books
- Amplitudo Ltd
- Amsterdam University Press
- Anaphora Literary Press
- Anastasia Chopelas, Ph.D.
- Anatiposi Verlag
- Anchor Academic Publishing
- Andrew Zen
- Andrews UK Limited
- Aneko Press
- Angell Press
- Ankit Bhandawat
- Anson Street Press
- Anthea Peries
- Anthem Press
- Anu Press
- Apex Test Prep
- Apple Academic Press
- Apress
- Arboretum Books
- Archaeopress Publishing
- Archway Publishing
- Arcturus Publishing Ltd
- Arden Shakespeare
- Arkose Press
- Artech
- Artech House Publishers
- ASCD
- Ascent - Center for Technical Knowledge
- Associacao Brasileira de Psicanalise - Abraps
- ASTD
- Astrology Classics
- Ateneo de Manila Univ Press
- Ationa Publications
- Atlantic
- Atlantis Press
- Aunt Lute Books
- Auris Reference
- Aurodonnan Media
- Austin Macauley
- Autarkaw.com
- Authorhouse
- Authorhouse UK
- Azhar Sario Hungary
- Aziloth Books
- B&h Spooner
- Baby Professor
- Bad Betty Press
- Balboa Press
- Balboa Press UK
- Baptist Standard Bearer
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Barrons Educational Services
- Barrons Test Prep
- Bayshop (Generis Publishing)
- BearManor Media
- Bedlam Buster
- Belknap Press
- Benbella Books
- Benediction Classics
- Bentham Science Publishers
- Berg Publishers
- 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
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- Fisheries & Aquaculture
- Food Science & Technology
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- History
- Library & Information Science
- Magic & Alchemy
- 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
- Writing/Research Methods
- A. Beattie
- A. Curnier
- A. Mossin
- Abhishek Chauhan
- Albert Fleischmann
- Albert S. Schwarz
- Alessandra del Ré
- Alexander N. Freiberg
- Alexandra R. Lucas
- Alexandros Poulopoulos
- Andrei Rogers
- Andrew D. Dimarogonas
- Angela Paparusso
- Angelika Bikner-Ahsbahs
- Anne H. Delcour
- António Gaspar-Cunha
- Antônio Márcio Da Silva
- Art B. Owen
- Ashley Vaughan
- Audun Jøsang
- B. Reynolds
- Barry Sheils
- Bartosz Wojciechowski
- Benoit Rihoux
- Bernard Shizgal
- Bernhard H. F. Weber
- Bettina Warscheid
- Biji T. Kurien
- Bing-Yuan Cao
- Binggong Chen
- Bradley Evans
- Bradley L. Nilsson
- Bruce G. Allen
- C. Burck
- C. Lotz
- Carl M. Bender
- Carl Ratner
- Carlo Pellicciari
- Carlos M. Palmeira
- Catherine J. Wu
- Chaohong Liu
- Christian Constanda
- Christos H. Skiadas
- D. Berg-Schlosser
- D. Jervolino
- Dale R. Durran
- Dave Webb
- David B. Resnik
- David Dobnik
- David J. Singh
- Deshun Li
- Dharmaraja Selvamuthu
- Diğdem Sezen
- Diane Bretherton
- Dieter Weichert
- Dietrich Jung
- Ding-Geng Chen
- Domenico Ribatti
- Duc Thai Nguyen
- E. Brodsky
- Eckart W. Gekeler
- Edin Terzic
- Edme H. Hardy
- Eduardo Souza De Cursi
- Elena Ranieri
- Elena Zattoni
- Emmanuel E. Gdoutos
- Erik Cuevas
- Fakhry A. Assaad
- Fei Gao
- Francisco S. Guzmán
- Fritz Scholz
- Gaël Brulé
- Ganapati P. Patil
- Ganesh Sriram
- Gary Kobinger
- Gary S. Dunbar
- Gernot Beer
- Giacomo Albi
- Giovanni Garcea
- Girish Chandra
- Gordan Lauc
- Grigoris Pavliotis
- Guillaume Desagulier
- Guoping Zhao
- Haiming Cao
- Haitao Guo
- Haiwei Luo
- Ioannis Hatzilygeroudis
- Kursad Turksen
- Malgorzata Ciesielska
- Manolis Papadrakakis
- Marco Corazza
- Matthes Elstermann
- Michael Griebel
- Piotr Kielanowski
- Rand R. Wilcox
- S. O'Sullivan
- Simon Sirca
- Tiziana Margaria
Products
NASA Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, Usa, April 17-19, 2018, Proceedings
Aaron Dutle
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): Aaron Dutle • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held...
View full details
NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings
Aaron Dutle
Paperback
Current price
₹6,243
Original price
₹9,604
Original price
₹9,604
Original price
₹9,604
(-35%)
₹6,243
Current price
₹6,243
| /
• Author(s): Aaron Dutle • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held...
View full details
