Filters
- Springer
- 3dtech
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic
- Academic Press
- Academica Press
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alephsphere Publishing
- Alexander Tetelbaum
- Am Press
- Amacom
- Amazon
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anson Street Press
- Anthem Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Bottom of the Hill Publishing
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- British Archaeological Reports Oxford Ltd
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- Butterworth-Heinemann
- Byul Hur
- C&T Publishing
- CABI
- CBS Publishers & Distributors Pvt. Ltd.
- CCB Publishing
- CRC Press
- Springer
- 3dtech
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic
- Academic Press
- Academica Press
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alephsphere Publishing
- Alexander Tetelbaum
- Am Press
- Amacom
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anson Street Press
- Anthem Press
- Apple Acad
- Apple Academic Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Aspen Publishers
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Autodesk P
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Bottom of the Hill Publishing
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- British Archaeological Reports Oxford Ltd
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- But-Hein
- 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
- Library & Information Science
- Mathematics and Statistics
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- A. Gyr
- A. McKinnon
- Abdellah Benzaouia
- Abhay Singh
- Abhineet Anand
- Acron Massus
- Adams Anderson
- Adele Kuzmiakova
- Aditya Kumar Deepankar
- Adora Nwodo
- Ajit Singh
- Al-Bayaty, Ali
- Alain Abran
- Alain Villemeur
- Alan Hinchliffe
- Alan Holt
- Alan Jeffrey
- Albert-Laszlo Barabasi
- Alberto Pettorossi
- Aldrich Rossi
- Alexander John Anderson
- Alexander Tetelbaum
- Alexei J. Drummond
- Alfred Aho
- Allan F. Bower
- Allen Kent
- Allen Tucker
- Anand Hooda
- Anand Nayyar
- András Kornai
- Andreas Knüpfer
- Andrés Colubri
- Andy Ju an Wang
- Anil Kumar Verma, Gaurav Sharma, Kuldeep Singh
- Anjali Mahmoud
- Ankur Goswami
- Ann Shaffer
- Antonio Porto
- Arash Soleimani
- Arieh Iserles
- Aristar Dry Helen
- Aron Vinegar
- Art I. Slopgen
- Arthur Ardeshir Goshtasby
- Arthur Horst
- Arthur M. Langer
- Ashley Kent
- Ashok Arora
- Ashok K. Pathak
- Ashok Kumar
- Asian Development Bank
- Asok K Nadhani
- Aunya Singsangob
- Autodesk
- Axton Verne
- Azlan Iqbal
- Bahram Javidi
- Baldev Raj
- Bandana Roy
- Barrett Henderson
- Barry McGibbon
- Barry Wilkinson
- Baylis D J.
- Beckford M. Wescott
- Ben Margolis
- Benjamin
- Benjamin C. Pierce
- Bernard Marr
- Bernd Held
- Bernd Oestereich
- Bertram C. Bruce
- Beverley Blount
- Bhimavarapu
- Bjorn Engquist
- Blackler
- Bodker Susanne
- Boguslaw Cyganek
- Boudewijn R. Haverkort
- Cesar Herrera
- Charlotte Froese-Fischer
- Dan Gookin
- David Beskeen
- David Pogue
- Donald Knuth
- Frank Garvan
- Fredrik Nilsson
- Gilberto Neal
- Jamie Flux
- Jean-Louis Boulanger
- John Oakland
- Joseph A. Mascetta
- Peter A. Henderson
- Philippe Darche
- Richard Healey
- Ronald Laffey
- Saumya Shukla
- Scott La Counte
- Tarek Sobh
- Theresa-Marie Rhyne
- Vikas Gupta
Products
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw
Marco Bernardo, Valerie Issarny
Paperback
Current price
₹5,665
Original price
₹6,798
Original price
₹6,798
Original price
₹6,798
(-17%)
₹5,665
Current price
₹5,665
| /
• Author(s): Marco Bernardo | Valerie Issarny • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer Science
