MultiLine Books
Find a Book Store
(042) 37353564
Facebook
Instagram
Linkedin
Menu
0
₨
0
Home
All Categories
All Authors
Shop
Contact Us
0
0
₨
0
OLDEROG
Home
Product Author
OLDEROG
OLDEROG
Books By OLDEROG
-10%
Add to wishlist
Quick view
Add to cart
REAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB)
0
OLDEROG
₨
27,857
Original price was: ₨27,857.
₨
25,071
Current price is: ₨25,071.
Sign in
Create an Account
Username or email
*
Password
*
Login
Lost your password?
Main menu
Home
All Categories
All Authors
Shop
Contact Us
Home
About Us
Account
All Authors
All Categories
Blogs
Cart
Checkout
Contact
Privacy Policy
Refund & Returns Policy
Shop
Terms & Conditions
Track order
Wishlist
HIDE FILTER
Search for:
Search
All category
All category
 A AND O L
 ACCOUNTIN
 AGRICULTU
 ANAESTHES
 ANESTHESI
 ANTHROPOL
 ARCHEOLOG
 ARCHITECT
 AUTO ENGI
 AUTOBIOGR
 BIOCHEMIS
 BIOMEDICA
 BIOSTATIS
 BIOTECHNO
 CARDIOLOG
 CHEMICAL
 CHILDREN
 CITY AND
 CIVIL AND
 CIVIL ENG
 COMMUNITY
 COMPUTER
 CRIMINAL
 CROP SCIE
 DERMATOLO
 DICTIONAR
 E.N.T. AN
 ELBS/ISE
 ELECTRICA
 ELECTROCH
 ELECTRONI
 ENCYCLOPE
 ENERGY SO
 ENGINEERI
 ENTOMOLOG
 ENVIRONME
 ENZYMOLOG
 EPIDEMIOL
 FILM/THEA
 FOOD SCIE
 FORENSIC
 GASTROENT
 GENERAL R
 GLASS AND
 GYNECOLOG
 HAEMATOLO
 HEALTH-ED
 HOME ECON
 HORTICULT
 IMMUNOLOG
 INDIAN ME
 INDUSTRIA
 INFORMATI
 INTERNATI
 IRRIGATIO
 JOURNALIS
 LABORATOR
 LIBRARY &
 LIBRARY S
 LITERATUR
 MACHINE &
 MANAGEMEN
 MATERIAL
 MATERIALS
 MATHEMATI
 MECHANICA
 MEDIA COM
 MEDICAL E
 MEDICAL S
 MEDICINAL
 METALLURG
 MICROBIOL
 MICROWAVE
 MILITARY
 MINNING &
 MOLECULAR
 NURSING A
 OBSTETRIC
 OCEANOGRA
 OLD MEDIC
 ONCOLOGY/
 OPTHALMOL
 ORTHOPAED
 PAEDIATRI
 PETROLEUM
 PHARMACEU
 PHARMACOL
 PHILOSOPH
 PHOTOGRAP
 PHYSICAL
 PHYSIOLOG
 PHYSIOTHE
 PLASTIC &
 POLITICAL
 PSYCHIATR
 PSYCHOLOG
 PUBLIC HE
 SAT/GMAT/
 SEED SCIE
 SMALL IND
 SOCIAL WO
 SOIL SCIE
 SPECIAL E
 STATISTIC
 UROLOGY &
 VETERINAR
 WATER & W
 WOMEN STU
A AND O LEVEL
ACCOUNTING
ADVERTISING & PUBLIC RELATIONS
AERONAUTICAL ENGINEERDING
AGRICULTURAL ECONOMICS
AGRICULTURAL ENGINEERING
AGRICULTURE
AGRONOMY
ALL MEDICAL COLLEGES OR UNIV.
ANATOMY
ANTHOLOGY
ANTHROPOLOGY
ARCHEOLOGY AND MUSEOLOGY
ARCHITECTURE ENGINEERING
ARID ZONE
ART
ASIA STUDY
ASTROLOGY
ASTRONOMY
ATLAS
AUDITING
AUTO ENGINEERING
AUTOBIOGRAPHIES & BIOGRAPHIES
AUTOMATED MANUFACTURING
BANKING
BIOCHEMISTRY
BIOGRAPHY
BIOLOGY
BIOMEDICAL
BIOTECHNOLOGY
BOTANY
BRIDGE ENGINEERING
BUILDING CONSTRUCTION
BUSINESS
CARDIOLOGY
CEMENT
CHEMICAL ENGINEERING
CHEMISTRY
CHEMISTRY IND
CHILD AND MOTHER
CHILD DEVELOPMENT
CHILDREN BOOKS
CITY AND REGIONAL PLANNING
CIVIL AND STRUCTURAL ENG.
CIVIL ENGINEERING
COMMUNICATION
COMPUTER SCIENCE
CONTROL ENGINEERING
COUNTRY DEVELOPMENT
CRIMINAL LAW
CROP SCIENCE
CULTURAL THEORY
DAIRY
DAM ENGINEERING
DEMOGRAPHY
DENTISTRY
DERMATOLOGY
DIABETES
DICTIONARIES
DRUG
E-COMMERCE
EARTHQUACKE
ECO..U.N.O/WORLD BANK/O.E.C.D
ECOLOGY
ECONOMIC/ COUNTRY DEVELOPMENT
ECONOMICS
EDUCATION
ELBS EDITION
ELBS/ISE MEDICAL
ELECTRICAL ENGINEERING
ELECTRONICS
ENCYCLOPEADIAS
ENERGY SOURCES AND TECH.
ENERGY SOURCES AND TECHNOLOGY
ENGINEERING HANDBOOK
ENGINEERING MANAGEMENT
ENGINEERING MATHEMATICS
ENGINEERING REFERENCE
ENTOMOLOGY
ENTREPRENEURSHIP
ENVIRONMENT SCIENCE
EPIDEMIOLOGY
FARM MANAGEMENT
FASHION
FICTION
FILM/THEATRE/TELEVISION
FINANCE
FINE ART
FIRE
FISHERIES
FLUID MECHANICS
FOOD SCIENCE
FORENSIC MEDICINE & TOXICOLOGY
FORESTRY
FURNISHED
GARDENING
GENDER STUDY
GENERAL REFERENCE
GENETICS
GEOGRAPHY
GEOLOGY
GLASS AND CERAMICS
GRAPHIC DESIGN
GYNECOLOGY
HAEMATOLOGY & LABORATORY MED
HANDBOOK / REFERENCE BOOKS
HARDWARE
HEALTH-EDUCATION
HEREDITY & EVOLUTION
HISTOLOGY
HISTORY
HOBBIES
HOME ECONOMICS
HORTICULTURE
HUMAN RESOURCE MANAGEMENT
HYDRAULIC ENGINEERING
HYDROLOGY
IMMUNOLOGY
INDIAN MEDICAL
INDUSTRIAL & MANUFACTURING ENGINEERING
INDUSTRIAL DEVELOPMENT
INDUSTRIAL/ENGG. MANAGEMENT
INNOVATION
INORGANIC CHEMISTRY
INTERIOR DESIGN
INTERNATIONAL AFFAIRS
INTERNATIONAL RELATIONS
INVESTMENT
IRRIGATION & SEWRAGE ENGG.
ISLAM..
JEWELRY
JOURNALISM/MASS COMMUNICATION
LABORATORY TECHNOLOGY
LANGUAGE
LASER
LAW
LEADERSHIP
LIBRARY & INFORMATION SCIENCE
LIBRARY SCIENCE
LIFE SCIENCES
LITERATURE & LINGUISTICS
MANAGEMENT SCIENCE
MANAGEMENT TRAINING & INFORM
MANUFACTURING PROCESS & TECH.
MARKETING
MATERIAL SCIENCE
MATERIALS SCIENCE
MATHEMATICS
MECHANICAL ENGINEERING
MECHATRONICS
MEDICAL SCIENCE
MEDICINE
METALLURGY
METROLLOGY
MICROBIOLOGY
MICROWAVE/OPTICS COMMUNICATION
MILITARY & NUATICAL ENG.
MILITARY & NUATICAL ENGG.
MINING AND MINRAL ENG
MINNING & MINERAL RESOUR. ENG.
MOLECULAR BIOLOGY
MUSIC
NANOTECHNOLOGY
NEUROLOGY
NON
NUCLEAR
NURSING AND MIDWIVES
NUTRITION
OBSTETRICS & GYNAECOLOGY
OCEANOGRAPHY
OLD MEDICAL
ONCOLOGY/CANCER/NUCLEAR MED.
OPERATIONAL RESEARCH
OPTHALMOLOGY
OPTICS
ORGANIC CHEMISTRY
ORGANISATIONAL BEHAVIOUR
ORGANIZATIONAL BEHAVIOR
ORTHOPAEDICS
PAEDIATRICS
PAINT
PAINTING
PAKISTAN
PATHOLOGY
PETROLEUM & GAS ENG
PETROLEUM & GAS ENGG.
PHARMACEUTICAL
PHARMACOLOGY
PHARMACY
PHILOSOPHY
PHOTOGRAPHY
PHYSICAL EDUCATION
PHYSICS
PHYSIOLOGY
PHYSIOTHERAPY
PLANT PATHOLOGY
PLASTIC & POLYMER SCIENCE
POLITICAL GEOGRAPHY
POLITICAL SCIENCE
POULTRY
POWER
PSYCHIATRY
PSYCHOLOGY
PUBLIC ADMINISTRATION
PUBLIC HEALTH
PUBLIC HEALTH ENGINEERING
PUBLIC POLICY
PULP AND PAPER
RADIOLOGY
REFERENCE
REFRIGERATION & AIRCONDITION
RELIGION
REMOTE SENSING & SURVEYING
RESEARCH
ROBOTICS
RUBBER
SAT/GMAT/GAT/CAT/IELTS
SCIENCE & TECHNOLOGY
SECURITY
SEED SCIENCE
SELF IMPROVEMENT/ MOTIVATION
SOCIAL WORK
SOCIOLOGY
SOFTWARE
SOIL SCIENCE
SOLAR
SOUTH ASIA & SAARC
SPECIAL EDUCATION
SPORTS
STATISTICS
STRUCTURAL ENGINEERING
SUGAR
SURGERY
SURVEYING
SUSTAINABILITY
TEACHERS TRAINING
TECHNICAL EDUCATION
TELECOMMUNICATONS
TEXTILE
THERMODYNAMICS
TOTAL .Q.M & I.S.O
TOURISM
TOXICOLOGY
TRAVEL
ULTRASOUND & IMAGING
UROLOGY & NEPHROLOGY
VETERINARY
WAR
WATER & WASTEWATER ENGG.
WEATHER/CLIMADOLOGY
WELDING TECHNOLOGY
WILD LIFE
WOMEN STUDY
ZOOLOGY
All category
 A AND O L
 ACCOUNTIN
 AGRICULTU
 ANAESTHES
 ANESTHESI
 ANTHROPOL
 ARCHEOLOG
 ARCHITECT
 AUTO ENGI
 AUTOBIOGR
 BIOCHEMIS
 BIOMEDICA
 BIOSTATIS
 BIOTECHNO
 CARDIOLOG
 CHEMICAL
 CHILDREN
 CITY AND
 CIVIL AND
 CIVIL ENG
 COMMUNITY
 COMPUTER
 CRIMINAL
 CROP SCIE
 DERMATOLO
 DICTIONAR
 E.N.T. AN
 ELBS/ISE
 ELECTRICA
 ELECTROCH
 ELECTRONI
 ENCYCLOPE
 ENERGY SO
 ENGINEERI
 ENTOMOLOG
 ENVIRONME
 ENZYMOLOG
 EPIDEMIOL
 FILM/THEA
 FOOD SCIE
 FORENSIC
 GASTROENT
 GENERAL R
 GLASS AND
 GYNECOLOG
 HAEMATOLO
 HEALTH-ED
 HOME ECON
 HORTICULT
 IMMUNOLOG
 INDIAN ME
 INDUSTRIA
 INFORMATI
 INTERNATI
 IRRIGATIO
 JOURNALIS
 LABORATOR
 LIBRARY &
 LIBRARY S
 LITERATUR
 MACHINE &
 MANAGEMEN
 MATERIAL
 MATERIALS
 MATHEMATI
 MECHANICA
 MEDIA COM
 MEDICAL E
 MEDICAL S
 MEDICINAL
 METALLURG
 MICROBIOL
 MICROWAVE
 MILITARY
 MINNING &
 MOLECULAR
 NURSING A
 OBSTETRIC
 OCEANOGRA
 OLD MEDIC
 ONCOLOGY/
 OPTHALMOL
 ORTHOPAED
 PAEDIATRI
 PETROLEUM
 PHARMACEU
 PHARMACOL
 PHILOSOPH
 PHOTOGRAP
 PHYSICAL
 PHYSIOLOG
 PHYSIOTHE
 PLASTIC &
 POLITICAL
 PSYCHIATR
 PSYCHOLOG
 PUBLIC HE
 SAT/GMAT/
 SEED SCIE
 SMALL IND
 SOCIAL WO
 SOIL SCIE
 SPECIAL E
 STATISTIC
 UROLOGY &
 VETERINAR
 WATER & W
 WOMEN STU
A AND O LEVEL
ACCOUNTING
ADVERTISING & PUBLIC RELATIONS
AERONAUTICAL ENGINEERDING
AGRICULTURAL ECONOMICS
AGRICULTURAL ENGINEERING
AGRICULTURE
AGRONOMY
ALL MEDICAL COLLEGES OR UNIV.
ANATOMY
ANTHOLOGY
ANTHROPOLOGY
ARCHEOLOGY AND MUSEOLOGY
ARCHITECTURE ENGINEERING
ARID ZONE
ART
ASIA STUDY
ASTROLOGY
ASTRONOMY
ATLAS
AUDITING
AUTO ENGINEERING
AUTOBIOGRAPHIES & BIOGRAPHIES
AUTOMATED MANUFACTURING
BANKING
BIOCHEMISTRY
BIOGRAPHY
BIOLOGY
BIOMEDICAL
BIOTECHNOLOGY
BOTANY
BRIDGE ENGINEERING
BUILDING CONSTRUCTION
BUSINESS
CARDIOLOGY
CEMENT
CHEMICAL ENGINEERING
CHEMISTRY
CHEMISTRY IND
CHILD AND MOTHER
CHILD DEVELOPMENT
CHILDREN BOOKS
CITY AND REGIONAL PLANNING
CIVIL AND STRUCTURAL ENG.
CIVIL ENGINEERING
COMMUNICATION
COMPUTER SCIENCE
CONTROL ENGINEERING
COUNTRY DEVELOPMENT
CRIMINAL LAW
CROP SCIENCE
CULTURAL THEORY
DAIRY
DAM ENGINEERING
DEMOGRAPHY
DENTISTRY
DERMATOLOGY
DIABETES
DICTIONARIES
DRUG
E-COMMERCE
EARTHQUACKE
ECO..U.N.O/WORLD BANK/O.E.C.D
ECOLOGY
ECONOMIC/ COUNTRY DEVELOPMENT
ECONOMICS
EDUCATION
ELBS EDITION
ELBS/ISE MEDICAL
ELECTRICAL ENGINEERING
ELECTRONICS
ENCYCLOPEADIAS
ENERGY SOURCES AND TECH.
ENERGY SOURCES AND TECHNOLOGY
ENGINEERING HANDBOOK
ENGINEERING MANAGEMENT
ENGINEERING MATHEMATICS
ENGINEERING REFERENCE
ENTOMOLOGY
ENTREPRENEURSHIP
ENVIRONMENT SCIENCE
EPIDEMIOLOGY
FARM MANAGEMENT
FASHION
FICTION
FILM/THEATRE/TELEVISION
FINANCE
FINE ART
FIRE
FISHERIES
FLUID MECHANICS
FOOD SCIENCE
FORENSIC MEDICINE & TOXICOLOGY
FORESTRY
FURNISHED
GARDENING
GENDER STUDY
GENERAL REFERENCE
GENETICS
GEOGRAPHY
GEOLOGY
GLASS AND CERAMICS
GRAPHIC DESIGN
GYNECOLOGY
HAEMATOLOGY & LABORATORY MED
HANDBOOK / REFERENCE BOOKS
HARDWARE
HEALTH-EDUCATION
HEREDITY & EVOLUTION
HISTOLOGY
HISTORY
HOBBIES
HOME ECONOMICS
HORTICULTURE
HUMAN RESOURCE MANAGEMENT
HYDRAULIC ENGINEERING
HYDROLOGY
IMMUNOLOGY
INDIAN MEDICAL
INDUSTRIAL & MANUFACTURING ENGINEERING
INDUSTRIAL DEVELOPMENT
INDUSTRIAL/ENGG. MANAGEMENT
INNOVATION
INORGANIC CHEMISTRY
INTERIOR DESIGN
INTERNATIONAL AFFAIRS
INTERNATIONAL RELATIONS
INVESTMENT
IRRIGATION & SEWRAGE ENGG.
ISLAM..
JEWELRY
JOURNALISM/MASS COMMUNICATION
LABORATORY TECHNOLOGY
LANGUAGE
LASER
LAW
LEADERSHIP
LIBRARY & INFORMATION SCIENCE
LIBRARY SCIENCE
LIFE SCIENCES
LITERATURE & LINGUISTICS
MANAGEMENT SCIENCE
MANAGEMENT TRAINING & INFORM
MANUFACTURING PROCESS & TECH.
MARKETING
MATERIAL SCIENCE
MATERIALS SCIENCE
MATHEMATICS
MECHANICAL ENGINEERING
MECHATRONICS
MEDICAL SCIENCE
MEDICINE
METALLURGY
METROLLOGY
MICROBIOLOGY
MICROWAVE/OPTICS COMMUNICATION
MILITARY & NUATICAL ENG.
MILITARY & NUATICAL ENGG.
MINING AND MINRAL ENG
MINNING & MINERAL RESOUR. ENG.
MOLECULAR BIOLOGY
MUSIC
NANOTECHNOLOGY
NEUROLOGY
NON
NUCLEAR
NURSING AND MIDWIVES
NUTRITION
OBSTETRICS & GYNAECOLOGY
OCEANOGRAPHY
OLD MEDICAL
ONCOLOGY/CANCER/NUCLEAR MED.
OPERATIONAL RESEARCH
OPTHALMOLOGY
OPTICS
ORGANIC CHEMISTRY
ORGANISATIONAL BEHAVIOUR
ORGANIZATIONAL BEHAVIOR
ORTHOPAEDICS
PAEDIATRICS
PAINT
PAINTING
PAKISTAN
PATHOLOGY
PETROLEUM & GAS ENG
PETROLEUM & GAS ENGG.
PHARMACEUTICAL
PHARMACOLOGY
PHARMACY
PHILOSOPHY
PHOTOGRAPHY
PHYSICAL EDUCATION
PHYSICS
PHYSIOLOGY
PHYSIOTHERAPY
PLANT PATHOLOGY
PLASTIC & POLYMER SCIENCE
POLITICAL GEOGRAPHY
POLITICAL SCIENCE
POULTRY
POWER
PSYCHIATRY
PSYCHOLOGY
PUBLIC ADMINISTRATION
PUBLIC HEALTH
PUBLIC HEALTH ENGINEERING
PUBLIC POLICY
PULP AND PAPER
RADIOLOGY
REFERENCE
REFRIGERATION & AIRCONDITION
RELIGION
REMOTE SENSING & SURVEYING
RESEARCH
ROBOTICS
RUBBER
SAT/GMAT/GAT/CAT/IELTS
SCIENCE & TECHNOLOGY
SECURITY
SEED SCIENCE
SELF IMPROVEMENT/ MOTIVATION
SOCIAL WORK
SOCIOLOGY
SOFTWARE
SOIL SCIENCE
SOLAR
SOUTH ASIA & SAARC
SPECIAL EDUCATION
SPORTS
STATISTICS
STRUCTURAL ENGINEERING
SUGAR
SURGERY
SURVEYING
SUSTAINABILITY
TEACHERS TRAINING
TECHNICAL EDUCATION
TELECOMMUNICATONS
TEXTILE
THERMODYNAMICS
TOTAL .Q.M & I.S.O
TOURISM
TOXICOLOGY
TRAVEL
ULTRASOUND & IMAGING
UROLOGY & NEPHROLOGY
VETERINARY
WAR
WATER & WASTEWATER ENGG.
WEATHER/CLIMADOLOGY
WELDING TECHNOLOGY
WILD LIFE
WOMEN STUDY
ZOOLOGY
Shopping cart
close
