Use Code - BWSPECIAL10 (FLAT 10% Off (Maximum Discount Rs.50))
Grab Bestselling Books upto 50% Off!
My Account
Log in
New to Bookswagon?
Sign up
Your Account
Personal Settings
Your Orders
Your Wishlist
Your Gift Certificate
Your Addresses
Change Password
Currency
₹
$
Log out
0
Book
New Arrivals
Box Sets
Bestsellers
Fiction Books
Award Winners
Featured Authors
Today's Deal
Request a Book
0
Art & Photography
Architecture
Art forms
Art treatments & subjects
Dance & other performing arts
Film, tv & radio
History of art / art & design styles
Industrial / commercial art & design
Music
Photography & photographs
The arts: general issues
Theatre studies
Biographies & Memoirs
Biography: general
Collected biographies
Diaries, letters & journals
Memoirs
True stories
Dictionaries & Language
Language teaching & learning (other than ELT)
Language: reference & general
Linguistics
Literature & literary studies
Anthologies (non-poetry)
Classical texts
Literature: history & criticism
Plays, playscripts
Poetry
Prose: non-fiction
English Language Teaching
Elt background & reference material
Elt: english for specific purposes
Elt: learning material & coursework
Fiction
Adventure
Classic fiction
Crime & mystery
Erotic fiction
Fantasy
Fiction-related items
Fiction: special features
Graphic novels
Historical fiction
Horror & ghost stories
Modern & contemporary fiction
Myth & legend told as fiction
Religious & spiritual fiction
Romance
Sagas
Science fiction
Thriller / suspense
References & Encyclopedias
Encyclopaedias & reference works
Interdisciplinary studies
Library & information sciences
Museums & museology
Research & information: general
History & Humanities
Archaeology
History
Philosophy
Religion & Spirituality
Society & social sciences
Education
Politics & Current Events
Psychology
Social services & welfare, criminology
Society & culture: general
Sociology & anthropology
Warfare & defence
Business & Economics
Business & management
Economics
Finance & accounting
Industry & industrial studies
Law
International law
Jurisprudence & general issues
Law: study & revision guides
Laws of specific jurisdictions
Medicine
Clinical & internal medicine
Complementary medicine
Medical study & revision guides & reference mater
Medicine: general issues
Nursing & ancillary services
Other branches of medicine
Pre-clinical medicine: basic sciences
Surgery
Veterinary medicine
Science & Mathematics
Astronomy, space & time
Biology, life sciences
Chemistry
Mathematics
Physics
Science: general issues
Environment & Geography
Earth sciences
Geography
Regional & area planning
The environment
Technology & Engineering
Agriculture & farming
Biochemical engineering
Civil engineering, surveying & building
Electronics & communications engineering
Energy technology & engineering
Environmental science, engineering & technology
Industrial chemistry & manufacturing technologies
Mechanical engineering & materials
Other technologies & applied sciences
Technology: general issues
Transport technology & trades
Computer & Internet
Business applications
Computer certification
Computer hardware
Computer networking & communications
Computer programming / software development
Computer science
Computer security
Computing: general
Databases
Digital lifestyle
Graphical & digital media applications
Operating systems
Parenting, Family & Health
Body, Mind & Spirit
Family & health
Self Help & Personal Development
Lifestyle
Antiques & collectables
Cookery, Food & Wine
Gardening
Handicrafts, decorative arts & crafts
Hobbies, quizzes & games
Home & house maintenance
Humour
Lifestyle & personal style guides
Local interest, family history & nostalgia
Miscellaneous items
Natural history
Sports
Transport: general interest
Travel & holiday
Children & Teens
Children’s & young adult fiction & true stories
Children’s & young adult general non-fiction
Children’s & young adult poetry, anthologies, annu
Children’s & young adult reference material
Children’s stationery & miscellaneous items
Educational material
Personal & social issues
Picture books, activity books & early learning ma
Login & Sign up
×
Books
Art & Photography
Architecture
Art forms
Art treatments & subjects
Dance & other performing arts
Film, tv & radio
History of art / art & design styles
Industrial / commercial art & design
Music
Photography & photographs
The arts: general issues
Theatre studies
Biographies & Memoirs
Biography: general
Collected biographies
Diaries, letters & journals
Memoirs
True stories
Dictionaries & Language
Language teaching & learning (other than ELT)
Language: reference & general
Linguistics
Literature & literary studies
Anthologies (non-poetry)
Classical texts
Literature: history & criticism
Plays, playscripts
Poetry
Prose: non-fiction
English Language Teaching
Elt background & reference material
Elt: english for specific purposes
Elt: learning material & coursework
Fiction
Adventure
Classic fiction
Crime & mystery
Erotic fiction
Fantasy
Fiction-related items
Fiction: special features
Graphic novels
Historical fiction
Horror & ghost stories
Modern & contemporary fiction
Myth & legend told as fiction
Religious & spiritual fiction
Romance
Sagas
Science fiction
Thriller / suspense
References & Encyclopedias
Encyclopaedias & reference works
Interdisciplinary studies
Library & information sciences
Museums & museology
Research & information: general
History & Humanities
Archaeology
History
Philosophy
Religion & Spirituality
Society & social sciences
Education
Politics & Current Events
Psychology
Social services & welfare, criminology
Society & culture: general
Sociology & anthropology
Warfare & defence
Business & Economics
Business & management
Economics
Finance & accounting
Industry & industrial studies
Law
International law
Jurisprudence & general issues
Law: study & revision guides
Laws of specific jurisdictions
Medicine
Clinical & internal medicine
Complementary medicine
Medical study & revision guides & reference mater
Medicine: general issues
Nursing & ancillary services
Other branches of medicine
Pre-clinical medicine: basic sciences
Surgery
Veterinary medicine
Science & Mathematics
Astronomy, space & time
Biology, life sciences
Chemistry
Mathematics
Physics
Science: general issues
Environment & Geography
Earth sciences
Geography
Regional & area planning
The environment
Technology & Engineering
Agriculture & farming
Biochemical engineering
Civil engineering, surveying & building
Electronics & communications engineering
Energy technology & engineering
Environmental science, engineering & technology
Industrial chemistry & manufacturing technologies
Mechanical engineering & materials
Other technologies & applied sciences
Technology: general issues
Transport technology & trades
Computer & Internet
Business applications
Computer certification
Computer hardware
Computer networking & communications
Computer programming / software development
Computer science
Computer security
Computing: general
Databases
Digital lifestyle
Graphical & digital media applications
Operating systems
Parenting, Family & Health
Body, Mind & Spirit
Family & health
Self Help & Personal Development
Lifestyle
Antiques & collectables
Cookery, Food & Wine
Gardening
Handicrafts, decorative arts & crafts
Hobbies, quizzes & games
Home & house maintenance
Humour
Lifestyle & personal style guides
Local interest, family history & nostalgia
Miscellaneous items
Natural history
Sports
Transport: general interest
Travel & holiday
Children & Teens
Children’s & young adult fiction & true stories
Children’s & young adult general non-fiction
Children’s & young adult poetry, anthologies, annu
Children’s & young adult reference material
Children’s stationery & miscellaneous items
Educational material
Personal & social issues
Picture books, activity books & early learning ma
New Arrivals
Box Sets
Bestsellers
Fictions Books
Award Winners
Featured Authors
Today's Deal
Request Books
Home
Account
0
Wishlist
0
Cart
Categories
Close
Refine your Search
By Price
All
(9)
Above Rs.2000
(9)
Availability
All
(9)
In Stock
(6)
Out of Stock
(3)
Shipping Time
All
(9)
1-2 Weeks
(9)
Source
All
(9)
Indian
(6)
International
(3)
Binding
All
(9)
PaperBack
(8)
Others
(1)
Language
All
(9)
English
(9)
Publication Year
All
(9)
2023
(4)
2022
(1)
Others
(4)
Filter By Category
All Categories
Computer & Internet
Natasha Sharygina
9
results found
Sort By:
Relevance
Best Seller
Title - A to Z
Title - Z to A
Price - Low to High
Price - High to Low
Discount - Low to High
Discount - High to Low
1.
37
%
Tools and Algorithms for the Construction and Analysis of Systems
By:
Natasha Sharygina
,
Sriram Sankaranarayanan
Publisher:
Springer Nature Switzerland
No Review Yet
₹3,720
₹2,344
Binding:
Paperback
Release:
20 Apr 2023
Language:
English
Available
Ships within
12-14 Days
Explain..
2.
37
%
Tools and Algorithms for the Construction and Analysis of Systems
By:
Natasha Sharygina
,
Sriram Sankaranarayanan
Publisher:
Springer Nature Switzerland
No Review Yet
₹3,720
₹2,344
Binding:
Paperback
Release:
22 Apr 2023
Language:
English
Available
Ships within
12-14 Days
Explain..
3.
37
%
Software Verification
By:
Natasha Sharygina
,
Roderick Bloem
,
Rayna Dimitrova
,
Chuchu Fan
Publisher:
Springer Nature Switzerland AG
No Review Yet
₹5,115
₹3,222
Binding:
Paperback
Release:
22 Feb 2022
Language:
English
Available
Ships within
12-14 Days
Explain..
4.
37
%
Validation of Evolving Software
By:
Natasha Sharygina
,
Leonardo Mariani
,
Daniel Kroening
,
Hana Chockler
Publisher:
Springer
No Review Yet
₹4,650
₹2,930
Binding:
Hardback
Release:
10 Jul 2015
Language:
English
Available
Ships within
12-14 Days
Explain..
5.
37
%
Validation of Evolving Software
By:
Natasha Sharygina
,
Leonardo Mariani
,
Daniel Kroening
,
Hana Chockler
Publisher:
Springer
No Review Yet
₹4,650
₹2,930
Binding:
Paperback
Release:
17 Oct 2016
Language:
English
Available
Ships within
12-14 Days
Explain..
6.
37
%
Computer Aided Verification
By:
Helmut Veith
,
Natasha Sharygina
Publisher:
Springer
No Review Yet
₹9,300
₹5,859
Binding:
Paperback
Release:
14 Jul 2013
Language:
English
Available
Ships within
12-14 Days
Explain..
7.
NR
Tools and Algorithms for the Construction and Analysis of Systems
By:
Sankaranarayanan Sriram Sankaranarayanan
,
Sharygina Natasha Sharygina
Publisher:
Springer Nature B.V.
No Review Yet
₹3,828
Binding:
Paperback
Release:
23 Apr 2023
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
8.
NR
Tools and Algorithms for the Construction and Analysis of Systems
By:
Sankaranarayanan Sriram Sankaranarayanan
,
Sharygina Natasha Sharygina
Publisher:
Springer Nature B.V.
No Review Yet
₹3,750
Binding:
Paperback
Release:
21 Apr 2023
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
9.
NR
Computer Aided Verification
By:
Veith Helmut Veith
,
Sharygina Natasha Sharygina
Publisher:
Springer Nature B.V.
No Review Yet
₹4,323
Binding:
Paperback
Release:
04 Jul 2013
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
No more records found
×
An OTP has been sent to your Registered Email Id:
Resend Verification Code
