Skip to main content

CURRENTLY SOLD OUT

Software Engineering 2: Specification of Systems and Languages by Dines Bjorner (Hardcover, 2006)

About this product

About this product

Product Information

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 modeling the semiotics (pragmatics, semantics and syntax of systems and languages), modeling 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. 1 of this series is a prerequisite text.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540211501
eBay Product ID (ePID)
95261495

Product Key Features

Author
Dines Bjorner
Publication Name
Software Engineering 2: Specification of Systems and Languages
Format
Hardcover
Language
English
Subject
Computer Science
Publication Year
2006
Type
Textbook
Number of Pages
780 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Item Weight
1370g

Additional Product Features

Title_Author
Dines Bjorner
Series Title
Texts in Theoretical Computer Science. an Eatcs Series
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)
No ratings or reviews yet.
AU $102.95 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)
5.0 out of 5 stars based on 1 product rating
AU $30.02 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.57
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.66
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.14
The Indoctrinated Brain: How to Successfully Fend Off the Global Attack on Your
AU $49.95
Trending at AU $57.84
Tuning the A-Series Engine: the Definitive Manual on tuning for Performance or E
AU $95.34
Trending at AU $104.01
Classical Mechanics: The Theoretical Minimum by George Hrabovsky
AU $27.46
Trending at AU $31.59

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like