Software Engineering 2

Name: Software Engineering 2
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540211501
Price: 271.62 RON
Availability: InStock

Specification of Systems and Languages

Autor: D. Björner

Limbă:

Legare: Copertă tare

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

271.62 lei

The art, craft, discipline, logic, practice and science of developing large-scale software products...

Informații despre carte

Autor

D. Björner

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2005

Pagini

780

EAN

9783540211501

ISBN

3540211500

Enbook ID

01559128

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

1370

Dimensiuni

155 x 235 x 47

Descriere completă

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. 1 of this series is a prerequisite text.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Software Engineering 2

Specification of Systems and Languages

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și