Search results for “[Subject: methods-general]”
Filters
- Springer Verlag
- 5d Media Publishing
- 1775 Productions
- 1st Book Library
- 90-Minute Books
- A A Balkema Publishers
- A K Peters
- AB + Publications
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Academica Press
- Academiques
- Acpil
- Addison Press
- Addison-Wesley Professional
- Adele Toral
- Adlard Coles Nautical Press
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- ALA Neal-Schuman
- Alpert Books
- Alpha Edition
- Altamira Press
- Amanda Symonds
- Amazing Reads
- American Anthropological Association
- American Bar Association
- American Federation of Astrologers
- American Library Association
- American Medical Publishers
- American Philosophical Society Press
- American Printing House for the Blind
- American Psychiatric Association Publishing
- American Psychiatric Publishing
- American Society of Mechanical Engineers
- American Water Works Association
- AmericanGeophysicalU
- Amherst Media
- Amplify Publishing
- Ancestry.com
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Anthem Press
- Apollos
- Apple Academic Press
- Apress
- Arboretum Books
- Archaeopress
- Archetypal Design
- Architeg, Inc.
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arden Shakespeare
- Arkose Press
- Art by Roslyn
- Artech House Publishers
- Artisan Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- ASM Press
- ASQ Quality Press
- Association for Supervision & Curriculum Deve
- Atlantic Financial Press
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Audubon Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press Australia
- Baobab Books
- Barry B Connors
- Basic Books
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Benediction Classics
- Bentham Science Publishers
- Berg 3pl
- Berg Publishers
- Berghahn Books
- Bergin & Garvey
- Berklee Press Publications
- BSAVA
- Springer
- 5d Media Publishing
- 1775 Productions
- 1st Book Library
- 90-Minute Books
- A K PETERS
- A K Peters/CRC Press
- AB + Publications
- ABC-CLIO
- Abdenal Carvalho
- Abingdon Press
- Ablex Publishing Corporation
- Acad Pr
- Academic
- Academic Press
- Academic Press and Aocs Press
- Academic Press and AOCS Press
- Academica Press
- Academiques
- Acpil
- Addison Press
- Addison-Wesley Professional
- Adele Toral
- Adlard Coles Nautical Press
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- ALA Neal-Schuman
- Alpert Books
- Alpha Edition
- Altamira Press
- Amanda Symonds
- Amazing Reads
- American Anthropological Association
- American Bar Association
- American Federation of Astrologers
- American Library Association
- American Medical Publishers
- American Philosophical Society Press
- American Printing House for the Blind
- American Psychiatric Association Publishing
- American Psychiatric Publishing
- American Society of Mechanical Engineers
- American Water Works Association
- AmericanGU
- Amherst Media
- Amplify Publishing
- Ancestry.com
- Anchor Academic Publishing
- Andesite Press
- Anson Street Press
- Anthem Press
- Apollos
- Apple Acad
- Apple Academic Press
- Apress
- Arboretum Books
- Archaeopress
- Archetypal Design
- Architeg, Inc.
- Archway Publishing
- Arcler Press
- Arcturus Publishing
- Arden
- Arden Shakespeare
- Arkose Press
- Art by Roslyn
- Artech House Publishers
- Artisan Publishers
- ASCD
- Ascent, Center for Technical Knowledge
- ASM Press
- Aspen Publishers
- ASQ Quality Press
- Association for Supervision & Curriculum Deve
- Atlantic
- Atlantic Financial Press
- Atlantis Press
- Atropos Press
- Audubon Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- Baker Academic
- Balance
- Balboa Press
- Balboa Press Australia
- Baobab Books
- Barry B Connors
- Basic Books
- Baylor University Press
- Bayshop (Generis Publishing)
- Bedford
- Bedford Books
- Bedlam Buster
- Behrman House Publishing
- Benediction Classics
- BSAVA
- Computer Science and Information Technology
- Archaeology
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Communication, Mass Media and Journalism
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- Fisheries & Aquaculture
- Food Science & Technology
- Foreign Languages
- General Books
- Health, Physical Fitness and Yoga
- 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
- Photography
- 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
- Adrian Horridge
- Aleksandar Vakanski
- Alexander Jung
- Ali Muhammad
- Allen Holder
- Anuradha Pughat
- Arthur M. Langer
- Ascent -. Center for Technical Knowledge
- B.S. Dhillon
- Banoth
- Barry Dwyer
- Berik I. Tuleuov
- Bernadette Bouchon-Meunier
- Bill Nelson
- Bulusu
- Charu C. Aggarwal
- Chauncey Wilson
- Chetouani
- Claude Jard
- Cohen
- David Forsyth
- David G. Luenberger
- Diakoumis Gerakoulis
- Erciyes
- Ghatak
- Gianfagna, Leonida
- Held
- Jay Liebowitz
- Jean-Philippe Martin-Flatin
- Jim Davies
- Joe Suzuki
- Joyce Farrell
- Ken Steif
- Kenett Ruggeri Faltin
- Koehn, Philipp
- Kounev
- Larose
- Le Roux
- Leo Tan Wee Hin
- Leondes
- Liang Wang
- Linda Rising
- Marc Lankhorst
- Markus Roggenbach
- Mathar
- Meng-Chow Kang
- Migliaccio
- Miquel Sànchez-Marrè
- Miroslaw Staron
- Na Zhao
- Nacima Labadie
- Nalepa Jakub
- Neil P. Chue Hong
- Noah P. Barsky
- Ofer Bergman
- Padmaraj Nidagundi
- Paul Johannesson
- Peter White
- Raghvinder S. Sangwan
- Raheem
- Rajendra Akerkar
- Rey
- Rudolf Kruse
- Sande
- Sauvagnargues
- Scheuch
- Silke Holtmanns
- Tari
- Thomas C. Henderson
- Thomas J. Cashman
- Tong Li
- Toufik Taibi
- Tran Quoc Khanh
- Tuur Stuyck
- V.K. Jain
- Vilho Räisänen
- Weiss, Sholom M.
- Wiley, Matt
- Willem-Paul de Roever
- Yannis Haralambous
- Yuxuan Du
- Zgurovsky
- Zhang
-  Сингх
- Şefika Şule Erçetin
- Амайя 

- БАЛКАi
- Игорь 

- Мельмk
- Цангоl
- الضمر
- محمد ا
- 孙成刚
- 柴选主编
- 金莲田
- 香織 藤本
- A S Ramadhas
- A Student
- A, Kevin
- A. (Alphonse) Loisette
Products
Formal Methods for Software Engineering: Languages Methods Application Domains
Markus Roggenbach
Paperback
Current price
₹4,407
Original price
₹6,779
Original price
₹6,779
Original price
₹6,779
(-35%)
₹4,407
Current price
₹4,407
| /
• Author(s): Markus Roggenbach • Publisher: Springer Verlag • Publisher Imprint: Springer • Subject: Computer Science and Information Technology • BISAC: Computer ScienceSoftware programs are formal entities with precise meanings independent of t...
View full details
