Author: Karen Yorav
Publisher: Springer
Keywords: verification, haifa, software, october, proceedings, programming, engineering, israel, conference, testing, third, international, hardware, hvc
Number of Pages: 267
Published: 2008-03-11
List price: $69.95
ISBN-10: 3540779647
ISBN-13: 9783540779643

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007. The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.

Authors:Eyal Bin, Avi Ziv, Shmuel Ur,
Publisher: Springer
Keywords: verification, haifa, software, october, revised, programming, engineering, israel, conference, testing, second, international, hardware, hvc
Number of Pages: 235
Published: 2007-03-22
List price: $59.95
ISBN-10: 354070888x
ISBN-13: 9783540708889

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006. The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.

Authors:Hana Chockler, Alan J. Hu,
Publisher: Springer
Keywords: haifa, verification, software, revised, october, engineering, israel, programming, conference, testing, international, hardware, hvc
Number of Pages: 215
Published: 2009-05-28
List price: $64.95
ISBN-10: 3642017010
ISBN-13: 9783642017018

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008. The 12 revised full papers and 4 tool papers presented together with 6 invited lectures were carefully reviewed and selected from 49 initial submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic ver

Author: Mendel Sachs
Publisher: Imperial College Press
Keywords: lectures, haifa, physics, modern, concepts
Number of Pages: 144
Published: 2007-09-27
List price: $65.00
ISBN-10: 1860948219
ISBN-13: 9781860948213

This book highlights foundational issues in theoretical physics in an informal, open style of lecture. It expresses the flow of ideas in physics -- from the period of Galileo and Newton to the contemporary ideas of the quantum and relativity theories, astrophysics and cosmology -- as explanations for the laws of matter. Rather than presenting the ideas of physics as a fait accompli, the book leaves it up to the reader to decide which of these 20th-century ideas in science will carry over to the 21st century for our further comprehension of the laws of nature in all domains, from that of elemen

Author: May Seikaly
Publisher: I. B. Tauris
Keywords: society, arab, transformation, haifa
Number of Pages: 256
Published: 2002-02-09
List price: $36.00
ISBN-10: 1860645569
ISBN-13: 9781860645563

This book looks at the process by which the Arab community of Haifa was transformed during a crucial period in the history of modern Palestine by British mandatory rule, the advent of Zionism, and internal dynamics. It looks at the social and economic structure of Haifa before 1918, examining the process of change that took place.

Author: Haifa Zangana
Publisher: University of Texas Press
Keywords: east, literatures, translation, middle, modern, journey, baghdad, london, women
Number of Pages: 255
Published: 2007-04-01
List price: $16.00
ISBN-10: 029271484X
ISBN-13: 9780292714847

Exiled, displaced, tortured, and grieving--each of the five Iraqi women whose lives and losses come to us through Haifa Zangana’s skillfully wrought novel is searching in her own way for peace with a past that continually threatens to swallow up the present. Majda, the widow of a former Ba’ath party official who was killed by the government he served. Adiba, a political dissident tortured under Saddam Hussein’s regime. Um Mohammed, a Kurdish refugee who fled her home for political asylum. Iqbal, a divorced mother whose family in Iraq is suffering the effects of Western econ

Authors:Ghassan Kanafani, Barbara Harlow, Karen E. Riley,
Publisher: Lynne Rienner Publishers
Keywords: amp, stories, haifa, returning, children, palestine
Number of Pages: 199
Published: 2000-08
List price: $14.95
ISBN-10: 0894108905
ISBN-13: 9780894108907

Short stories describing the Palestinian experience of the Middle East conflict. Each involves a child, a victim of circumstances, who nevertheless participates in the struggle towards a better future. As in Kanafani’s other fiction, these stories explore the need to recover the past by action.