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

Static Analysis

$39.99

Sara Coleridge

$54.99

Rechenprogramm und Beispielrechnung zur Planung der Maschinenbelegung in einer Fertigungsstufe

$84.99

The Street Smart MBA

$29.99

Combined and Hybrid Adsorbents

$329.99

Elektronische Signaturen

$39.99

Die Business AG Aktiengesellschaft fr den Mittelstand

$59.99

Cell Cycle Oscillators

$109.99

Public Memory, Public Media and the Politics of Justice

$54.99

Graphen und Anwendungen

$49.99

Advances in Nuclear Physics

$84.99

Marketing- und Kommunikationstrends

$69.99

Freizeitkonomie: Marketing von Erlebniswelten

$59.99

Towards the Pragmatic Core of English for European Communication

$109.99

Proceedings of International Conference on Recent Innovations in Computing

$249.99

Developments in Tryptophan and Serotonin Metabolism

$259.00

Bin-Picking

$109.99

Ethology and Behavioral Ecology of Odontocetes

$149.00

Assessing Social Impact of Social Enterprises

$69.99

Perspektiven des Mobile Banking in Deutschland

$64.99

People and Parliament

$54.99

Bau und Bodenschtze Osteuropas

$49.99

The Logical Structure of Mathematical Physics

$109.99

Sensors, Algorithms and Applications for Structural Health Monitoring

$109.99

Diffuse Lung Disease

$169.99

Kostenorientiertes Transaktionscontrolling

$59.99

Geoparsing Early Modern English Drama

$54.99

Global Criminal Law

$69.99

Physics and Technology for Engineers

$119.99

Towards Free Trade in Agriculture

$84.99

Pulmonary Hypertension in Adult Congenital Heart Disease

$169.99

Flexible Bronchoskopie fr Einsteiger

$99.99

Next Generation Optical Network Design and Modelling

$109.99

Edmund Husserl. Untersuchungen zur Urteilstheorie

$399.99

Switchgrass

$169.99

Werkstoff- und Prozessverhalten von Metallpulvern in der laseradditiven Fertigung

$89.99

Psychoacoustic Music Sound Field Synthesis

$169.99

Sheet Metal Forming

$219.99

C*-algebras and Elliptic Theory II

$84.99

Variationsrechnung heute

$54.99