Normal view MARC view ISBD view

Automated theorem proving in software engineering [Texte imprimé] /Johann M. Schumann ; foreword by Donald Loveland.

By: Schumann, Johann M [aut.].
Material type: materialTypeLabelBookPublisher: Berlin ; Heidelberg ; Paris [etc.] : Springer, cop. 2001Description: 1 vol. (XIV-228 p.) ; 24 cm.ISBN: 3540679898 .
List(s) this item appears in: Springer -2000
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
Item type Current location Call number Copy number Status Date due
წიგნი წიგნი ეროვნული სამეცნიერო ბიბლიოთეკა 1
დარბაზი 5. კორპ. 1
621-52 Shc-31 (Browse shelf) 2E52410 Available

There are no comments for this item.

Log in to your account to post a comment.

ეროვნული სამეცნიერო ბიბლიოთეკა 2010 - 2017

გაუგზავნე შეკითხვა ან მოთხოვნა ბიბლიოთეკას