Normal view MARC view ISBD view

Decision procedures: an algorithmic point of view (Record no. 713)

000 -LEADER
fixed length control field	00552 a2200205 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20201216141110.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	170920b xxu\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN	9783662504963
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title	eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	004.0151 KRO/D
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name	Kroening, Daniel
245 ## - TITLE STATEMENT
Title	Decision procedures: an algorithmic point of view
250 ## - EDITION STATEMENT
Edition statement	2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher	Springer
Year of publication	2016
Place of publication	Berlin
300 ## - PHYSICAL DESCRIPTION
Number of Pages	xxi, 356p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	Computer science.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	Software engineering.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name	Strichman, Ofer
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	Book

Holdings
Withdrawn status	Lost status	Damaged status	Permanent Location	Current Location	Shelving location	Date acquired	Source of acquisition	Purchase Price	Bill number	Full call number	Accession Number	Print Price	Bill Date/Price effective from	Koha item type	Collection code
			Central Library	Central Library	General Stack (Sahyadri Campus)	2017-09-20	12	3845.56	ABC/068/17	004.0151 KRO/D	03230	5127.41	2017-09-20	Book
			Central Library	Central Library	Reference (Sahyadri Campus)	2017-09-20	12	3845.56	ABC/068/17	004.0151 KRO/D	03229	5127.41	2017-09-20	Reference	Reference

Koha online