V.S. Alagar – författare
Visar alla böcker från författaren V.S. Alagar. Handla med fri frakt och snabb leverans.
10 produkter
Specification of Software Systems
Inbunden, 2011
568 kr
Lägg i varukorg
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different …
Specification of Software Systems
E-bok, 2011
755 kr
Lägg i varukorg
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different …
Specification of Software Systems
Häftad, 2013
569 kr
Lägg i varukorg
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different …
Formal Methods in Databases and Software Engineering
Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992
Av F. Sadri, Laks V.S. Lakshmanan m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support …
Incompleteness and Uncertainty in Information Systems
Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8–9 October 1993
Av F.Q. Dong, S. Bergler m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in Montreal. A major aim of the workshop was to bring …
Specification of Software Systems
E-bok, 2013
1209 kr
Lägg i varukorg
This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental principles of formal methods in the construction of modular and verifiable formal specifications. The …
Formal Methods in Databases and Software Engineering
Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992
Av V.S. Alagar, Laks V.S. Lakshmanan m. fl.
Häftad, 1993
569 kr
Lägg i varukorg
Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general context to denote database systems, software development systems, knowledge base systems, proof support …
Incompleteness and Uncertainty in Information Systems
Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8–9 October 1993
Av V.S. Alagar, S. Bergler m. fl.
Häftad, 1994
569 kr
Lägg i varukorg
This volume contains papers from the Workshop on Incompleteness and Uncertainty in Information Systems, which was held at Concordia University, Montreal, Canada, from 8 - 9 October 1993. The workshop was organised by the University's Software Engineering and Knowledgebase Systems (SOFTEKS) Research …
Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
Häftad, 1995
1098 kr
Lägg i varukorg
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The …
