F. Sadri – författare

Visar alla böcker från författaren F. Sadri. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   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 …

2. 

   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 …

3. 

   Computational Logic: Logic Programming and Beyond

   Essays in Honour of Robert A. Kowalski, Part I

   Av A.C. Kakas, F. Sadri

   Häftad, 2002

   1128 kr

   Lägg i varukorg

   Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby …

4. 

   Computational Logic: Logic Programming and Beyond

   Essays in Honour of Robert A. Kowalski, Part I

   Av F. Sadri, A.C. Kakas

   E-bok, 2003

   1470 kr

   Lägg i varukorg

   Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby …