Tools

LEADER 02732cam a22006137a 4500

001 ssj0000318069;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 080107s2008 gw a sb 101 0 eng d;

010 a| 2008920255;

015 a| GBA8242212| bnb;

016 7 a| 98721926X2| GyFmDB;

016 7 a| 0145261102| Uk;

020 a| 9783540779643 (pbk.);

020 a| 3540779647 (pbk.);

035 a| (WaSeSS)ssj0000318069;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.76.V47b| I54 2007;

072 7 a| QA2| lcco;

082 04 a| 004.242| 22;

111 2 a| International Haifa Verification Conferencen| (3rd :d| 2007 :c| Haifa, Israel)?| UNAUTHORIZED;

245 10 a| Hardware and software, verification and testingh| [electronic resource] :b| third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /c| Karen Yorav (ed.).;

246 30 a| HVC 2007;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xii, 266 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science,x| 0302-9743 ;v| 4899;

440 0 a| LNCS sublibrary.n| SL 2,p| Programming and software engineering;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

530 a| Also issued online.;

538 a| Mode of access: World Wide Web;

650 0 a| Computer programsx| Verificationv| Congresses.=| ^A118080;

650 0 a| Software architecturev| Congresses.=| ^A692552;

650 0 a| Computer input-output equipmentv| Congresses.=| ^A1236880;

650 0 a| Computer softwarex| Verificationv| Congresses.=| ^A1146757;

653 1 a| Verification;

653 1 a| Hardware;

653 1 a| Software;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Yorav, Karen.?| UNAUTHORIZED;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-77964-3;

947 a| (OCoLC)ocn191923424;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4106652;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4106652-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4106652-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/2/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4106652-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (ed.).

Author/creator	International Haifa Verification Conference
Other author	Yorav, Karen.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xii, 266 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Computer programs--Verification. --Congresses. Software architecture--Congresses. Computer input-output equipment--Congresses. Computer software--Verification. --Congresses.

Portion of title	HVC 2007
Series	Lecture notes in computer science, 0302-9743 ; 4899 LNCS sublibrary. SL 2, Programming and software engineering
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Other forms	Also issued online.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2008920255
ISBN	9783540779643 (pbk.)
ISBN	3540779647 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (ed.).

Click here for more information about this title

Availability