dines bjørner
Logics of Specification Languages
Sofort lieferbarP By a specification language we understand a formal system of syntax, semantics and proof rules...
Software Engineering 1
Sofort lieferbarThe art, craft, discipline, logic, practice, and science of developing large-scale software produ...
Software Engineering 3
Sofort lieferbarThe art, craft, discipline, logic, practice, and science of developing large-scale software produ...
Software Engineering 2
Print on DemandThis second volume looks at the principles and techniques of modeling spatial and simple temporal...
VDM ’87.VDM - A Formal Method at Work
Print on DemandInhaltsangabeVDM: Origins, hopes, and achievements.- Experience using VDM in STC.- VDM in three g...
Software Engineering 3
Print on DemandThis third volume examines the basic principles and techniques of overall software development, f...
Formal Methods in Programming and Their Applications
Print on DemandThis volume comprises the papers selected for presentationat the international confer...
Perspectives of System Informatics
Print on DemandInhaltsangabeSemantics and laws of man-made infrastructure systems.- The language lola, FPGAs, an...
Software Engineering 2
Print on DemandThis second volume looks at the principles and techniques of modeling spatial and simple temporal...
Baltic Computer Science
Print on DemandThis volume presents recent computer science work from the Baltic Republics of Estonia, Latvia an...
Logics of Specification Languages
Print on DemandInhaltsangabePreludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom....
Software Engineering 3
Print on DemandThis third volume examines the basic principles and techniques of overall software development, f...
- 1
- 2