Products
Software Engineering 2: Specification of Systems and Languages
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics a...
View full details
Domain Science and Engineering: A Foundation for Software Development
Current price
₹12,371
Original price
₹19,031
Original price
₹19,031
Original price
₹19,031
(-35%)
₹12,371
Current price
₹12,371
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverIn this book the author explains domain engineering and the underlying science, and he then shows how we can derive re...
View full details
Software Engineering 1: Abstraction and Modelling
Current price
₹11,514
Original price
₹13,817
Original price
₹13,817
Original price
₹13,817
(-17%)
₹11,514
Current price
₹11,514
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader w...
View full details
Software Engineering 2: Specification of Systems and Languages
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics a...
View full details
Software Engineering 1: Abstraction and Modelling
Current price
₹6,185
Original price
₹9,515
Original price
₹9,515
Original price
₹9,515
(-35%)
₹6,185
Current price
₹6,185
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader w...
View full details
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, hel...
View full details
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding
Current price
₹5,770
Original price
₹6,924
Original price
₹6,924
Original price
₹6,924
(-17%)
₹5,770
Current price
₹5,770
• Author(s): Dines Bjørner | Manfred Broy | Igor V. Pottosin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis volume comprises the papers selected for presentation at the international conference on Formal Methods in ...
View full details
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001,
Current price
₹5,882
Original price
₹7,059
Original price
₹7,059
Original price
₹7,059
(-17%)
₹5,882
Current price
₹5,882
• Author(s): Dines Bjørner | Manfred Broy | Alexandre Zamulin • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Confe...
View full details
