Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series) - Image 1

£37.48

Springer Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Name: Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 37.48 GBP
Availability: InStock

Compilers

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£37 today · all-time low £37 (Jul 2026) · usually the usual

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 49 days · 49 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 49 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £37 (30 days, 61.2%)

Price range: £37 - £38

Price levels: 2 different prices over 49 days

Description

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1of this series is a prerequisite text.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3540211500
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 22 February 2006
Listed Since: 12 January 2007

Barcode

No barcode data available

Springer Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

About as cheap as it gets. The only time it was cheaper was 1 month ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)

Specifying Software: A Hands-On Introduction

Formal Specification Techniques for Engineering Modular C Programs: 1 (International Series in Software Engineering, 1)

Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

Tools and Environments for Parallel and Distributed Systems: 2 (International Series in Software Engineering, 2)

Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)

An Integrated Approach to Software Engineering (Texts in Computer Science)

Software Engineering and Environment: An Object-oriented Perspective (Software Science & Engineering)

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry, 195)

A Concise Introduction to Software Engineering: With Open Source and GenAI (Undergraduate Topics in Computer Science)

Discrete Maths Software Engineers: An Introduction for Software Engineers

Abstract State Machines: A Method for High-Level System Design and Analysis

Fundamentals of Secure System Modelling

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials (Texts in Computer Science)

Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach: 93 (Springer Optimization and Its Applications, 93)

Systems and Software Verification: Model-Checking Techniques and Tools

Service Engineering: European Research Results

Languages for Digital Embedded Systems: 572 (The Springer International Series in Engineering and Computer Science, 572)

Web Engineering: Modelling and Implementing Web Applications (Human–Computer Interaction Series)

Software Architectures: Advances and Applications

Information Systems Engineering: An Introduction

Modelling Systems: Practical Tools and Techniques in Software Development

Handbook on Artificial Intelligence-Empowered Applied Software Engineering: VOL.1: Novel Methodologies to Engineering Smart Software Systems: 2 ... Software and Systems Engineering, 2)

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)