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