หน้าหลัก

ตอบคำถามออนไลน์

กระดานถามตอบ

ส่งอีเมล์ถึงเจ้าหน้าที่

ทรัพยากรแนะนำ

ย้อนกลับ

สมาชิก

รหัสสมาชิก  รหัสผ่าน

ฐานข้อมูลออนไลน์

Academic Search Ultimate

ACM Digital Library

American Chemical Society Journal (ACS)

EBSCO Discovery Service (EDS) Plus Full Text

Emerald Management

Engineering Source

IEEE/IET Electronic Library (IEL)

SpringerLink – Journal

ฐานข้อมูลสหบรรณานุกรม (UCTAL)

ฐานข้อมูลเอกสารฉบับเต็ม (TDC)

วารสารวิชาการปทุมวัน

ศูนย์ดัชนีการอ้างอิงวารสารไทย TCI (Thai-Journal Citation Index)

หนังสือ E-book บริษัทซีเอ็ด

หนังสือ E-book ศูนย์หนังสือจุฬาฯ

หนังสือ E-book สำนักพิมพ์ Cambridge University Press

ฐานข้อมูล หนังสือ

ยืมได้ที่เคาน์เตอร์บริการ

ยืมได้ที่เคาน์เตอร์บริการ

มีสื่อประกอบ

มีสื่อประกอบ

ฐานข้อมูล สื่อมัลติมีเดีย

มีสื่อประกอบ

มีสื่อประกอบ

มีสื่อประกอบ

มีสื่อประกอบ

ฐานข้อมูล หนังสือออิเล็กทรอนิกส์

มีสื่อประกอบ

มีสื่อประกอบ

มีสื่อประกอบ

มีสื่อประกอบ

ก

ข

ฃ

ค

ฅ

ฆ

ง

จ

ฉ

ช

ซ

ฌ

ญ

ฎ

ฏ

ฐ

ฑ

ฒ

ณ

ด

ต

ถ

ท

ธ

น

บ

ป

ผ

ฝ

พ

ฟ

ภ

ม

ย

ร

ล

ว

ศ

ษ

ส

ห

ฬ

อ

ฮ

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

1

2

3

4

5

6

7

8

9

0

ชื่อเรื่อง คำสำคัญ ชื่อผู้แต่ง หัวเรื่อง เลขมาตรฐานสากล เลขเรียก คำค้น

เลขทะเบียน 48101531 ISBN 007144372X ชื่อย่อห้องสมุด TH-BaPIT Call Number TK7874.58 .P451a 2005 ชื่อผู้แต่ง Perry, Douglas L. ชื่อหลักวารสาร L ชื่อเรื่อง Applied formal verification / Douglas L. Perry, Harry D. Foster. พิมพลักษณ์ New York : McGraw-Hill, c2005. บรรณลักษณ์ xii, 237 p. : ill. ; 23 cm. หัวเรื่อง Verification -- Applied. ที่มาของทรัพยากร งปม 15/08/48 3,120 Baht.

Perry, Douglas L.

LLLLL

Applied formal verification / Douglas L. Perry, Harry D. Foster.

Verification -- Applied.

ลำดับ	บาร์โค๊ด	เลขเรียก	สถานะ	ยืม
1. [ ขอจอง ]	48101531	TK7874.58 .P451a 2005	ให้บริการ	ได้
หนังสือทั่วไป | หอสมุดกลาง | ห้องสมุด ชั้น 2 อาคารกรมพระสวัสดิวัดนวิศิษฎ์ (ไม่ได้จัดขึ้นชั้น)

[2931]