Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

LOTOSphere: Software Development with LOTOS

LOTOSphere: Software Development with LOTOS

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461522034
Condition
New
Product Description

LOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, although application of preliminary versions of the language to communication services and protocols of the ISO/OSI family dates back to 1984. This history of the use of LOTOS made it apparent that more advantages than the pure production of standard reference documents were to be expected from the use of such formal description techniques. LOTOSphere: Software Development with LOTOS describes in depth a five year project that moved LOTOS out of the ISO tower into software engineering practice. LOTOS became a vehicle for efficient, yet formally based industrial software specification, design, verification, implementation and testing. LOTOSphere: Software Development with LOTOS is divided into six parts. The first introduces the reader to LOTOS and the project LOTOSphere. The five remaining each treat an important part of the software development life cycle using LOTOS. This is the first book to give a comprehensive treatment of the use of these formal description techniques in a software engineering environment. It will thus be a valuable reference for researchers and software developers and can also be used as a text for an advanced course on the subject.

Available Colors
Available Sizes
1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$129.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$129.00 $129.00

$129.00
See Site In stock Visit Store

Similar Products

Pedagogy for Technology Education in Secondary Schools

$139.99

EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV

$169.00

The NexStar Users Guide II

$44.99

Market-Maker als liquidittsspendende Intermedire in Brsenmrkten

$69.99

EU External Action in International Economic Law

$199.99

Atomic Force Microscopy/Scanning Tunneling Microscopy 2

$169.99

Environment and Development

$129.99

Women in Journalism at the Fin de Sicle

$54.99

Targeting Biofilms in Translational Research, Device Development, and Industrial Sectors

$129.00

Moral Leadership in Business

$54.99

Tsunami

$209.00

Mathematical Foundations of Computer Science 1986

$84.99

Elektroenergiesysteme

$149.99

Digital Pathology

$39.99

The Human Brain Stem and Cerebellum

$74.99

Luminescence of Solids

$129.00

Machine Learning Paradigms

$109.99

Intelligent Communication Technologies and Virtual Mobile Networks

$279.99

Geographies of Federalism during the Italian Risorgimento, 17961900

$109.00

Constraint-Based Mining and Inductive Databases

$54.99

Beschaffung von chinesischen Industrieunternehmen in der Bundesrepublik Deutschland

$59.99

The Comedy and Legacy of Music-Hall Women 1880-1920

$84.99

Group Decision and Negotiation: Methodological and Practical Issues

$44.99

Primate Craniofacial Function and Biology

$169.00

Prfungsspecial fr Bankkaufleute

$17.99

Artifact-Driven Business Process Monitoring

$54.99

Differential Diagnosis of Cardiopulmonary Disease

$109.99

Aspects of Face Processing

$39.99

Verzahnungen I

$44.99

Python Recipes for Earth Sciences

$89.99

The World's Key Industry

$84.99

Disability Management

$17.99

Computational Fluid Dynamics

$159.99

Bone Talk

$5.96

Technische Gesteinskunde

$74.99

The Lion Inside

$3.74

Physiology Question-Based Learning

$169.99

Optical Properties of Semiconductors

$219.99

International Organizations in Global Social Governance

$59.99

Zigarettenrauchen

$49.99