Dines Bjorner – författare
Visar alla böcker från författaren Dines Bjorner. Handla med fri frakt och snabb leverans.
7 produkter
Domain Science and Engineering
A Foundation for Software Development
E-bok, 2021
2430 kr
Lägg i varukorg
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design …
Software Engineering 1
Abstraction and Modelling
E-bok, 2007
1251 kr
Lägg i varukorg
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers …
Software Engineering 2
Specification of Systems and Languages
E-bok, 2007
755 kr
Lägg i varukorg
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 …
Software Engineering 3
Domains, Requirements, and Software Design
E-bok, 2006
1470 kr
Lägg i varukorg
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 3 is …
Perspectives of System Informatics
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Av Alexandre Zamulin, Manfred Broy m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov …
Perspectives of System Informatics
Third International Andrei Ershov Memorial Conference, PSI''99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Av Alexandre V. Zamulin, Manfred Broy m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
Logics of Specification Languages
Av Martin C. Henson, Dines Bjorner
E-bok, 2007
2127 kr
Lägg i varukorg
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the …
