Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Formal Approaches to Software Testing
  • Language: en
  • Pages: 234

Formal Approaches to Software Testing

  • Type: Book
  • -
  • Published: 2005-02-22
  • -
  • Publisher: Springer

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models ...

Formal Approaches to Software Testing
  • Language: en
  • Pages: 262

Formal Approaches to Software Testing

  • Type: Book
  • -
  • Published: 2004
  • -
  • Publisher: Unknown

None

Advanced Techniques in Computing Sciences and Software Engineering
  • Language: en
  • Pages: 582

Advanced Techniques in Computing Sciences and Software Engineering

Advanced Techniques in Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences. Advanced Techniques in Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2008) which was part of the International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 2008).

Gynecologic and Urologic Pathology
  • Language: en
  • Pages: 433

Gynecologic and Urologic Pathology

This book highlights the similarities and differences in the pathology of the genital and urinary tracts in males and females.

Ciocoii vechi si noi
  • Language: ro
  • Pages: 170

Ciocoii vechi si noi

În colecția Lecturi școlare se regăsesc cele mai importante opere din literatura română și universală, selectate în conformitate cu cerințele programei școlare de limba și literatura română. Astfel, elevii vor avea la îndemână, în formă integrală, creațiile cele mai cunoscute și mai îndrăgite ale scriitorilor clasici și moderni, însoțite de o scurtă prezentare a vieții și a operei autorului. Cărţile de neuitat ale copilăriei, capodoperele literaturii din toate timpurile reprezintă repere obligatorii în formarea gustului pentru lectură și în educația cititorilor mai mici și mai mari. MIHAI EMINESCU • ION LUCA CARAGIALE • IOAN SLAVICI • ION CREANGĂ • LIVIU REBREANU • GEORGE CĂLINESCU • DUILIU ZAMFIRESCU • VASILE ALECSANDRI • CEZAR PETRESCU • GEORGE COȘBUC • I. AL. BRĂTESCU-VOINEȘTI • GEORGE TOPÎRCEANU • B.ȘT. DELAVRANCEA • RUDYARD KIPLING • JACK LONDON • DANIEL DEFOE • EDMONDO DE AMICIS • H.C. ANDERSEN • HECTOR MALOT • CHARLES DICKENS • LEWIS CARROLL • CARLO COLLODI • CHARLES PERRAULT • FRAȚII GRIMM • MARK TWAIN

Oncology of CNS Tumors
  • Language: en
  • Pages: 776

Oncology of CNS Tumors

Knowledge about the etiology and diagnosis as well as treatment concepts of neu- oncologic diseases is rapidly growing. This turnover of knowledge makes it dif? cult for the physician engaged in the treatment to keep up to date with current therapies. This book sets out to close the gap and pursues several innovative concepts. As a comprehensive text on neuro-oncology, its chapters are interconnected, but at the same time some chapters or subdivisions are so thoroughly assembled that the whole volume gives the impression of several books combined into one. Neuropathology is treated in an extensive and clearly structured section. The int- ested reader ? nds for each tumor entity the latest we...

TAPSOFT'97: Theory and Practice of Software Development
  • Language: en
  • Pages: 908

TAPSOFT'97: Theory and Practice of Software Development

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), held in Lille, France, in April 1997. The volume is organized in three parts: The first presents invited contributions, the second is devoted to trees in algebra in programming (CAAP) and the third to formal approaches in software engineering (FASE). The 30 revised full papers presented in the CAAP section were selected from 77 submissions; the 23 revised full papers presented in the FASE section were selected from 79 submissions.

Byzantium after Byzantium
  • Language: en
  • Pages: 264

Byzantium after Byzantium

Although Constantinople fell to the Turks in 1453, bringing an end to the Eastern Roman Empire which had survived its predecessor in the West by nearly one thousand years, this important book argues that Byzantium did not die, but continued to influence European history all the way up to the beginning of the nineteenth century. The author' s formula “ Byzantium after Byzantium” defines several centuries of world history. Iorga points out the great contributions of Byzantine civilization to the Western world, especially during the Renaissance. He demonstrates that Byzantium survived through its people and local autonomies, as well as through its exiles. They continued the Byzantine ideas, aspirations, education, and way of life. All of this allows us to speak of a Byzantium after Byzantium.

Bibliografia Republicii Socialiste România
  • Language: ro
  • Pages: 638

Bibliografia Republicii Socialiste România

  • Type: Book
  • -
  • Published: 1985
  • -
  • Publisher: Unknown

None

Bibliografia Republicii Socialiste România
  • Language: ro
  • Pages: 978