Výsledky vyhľadávania - "Sarif, Sarif"

Verification Witnesses.

Autori: BEYER, DIRK DANGL, MATTHIAS DIETSCH, DANIEL a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Oct2022, Vol. 31 Issue 4, p1-69, 69p

Predmety: WITNESSES, TECHNICAL specifications, SOURCE code

Guide to Software Verification with Frama-C

Autori: Nikolai Kosmatov Virgile Prevosto Julien Signoles

Typ zdroja: eBook.

Predmet: Computer programs—Testing, Programming languages (Electronic computers), Mathematics—Data processing, Coding theory, Information theory

Kategórie: COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Information Theory, COMPUTERS / Languages / General, MATHEMATICS / Numerical Analysis

Accelerate DevOps with GitHub : Enhance Software Delivery Performance with GitHub Issues, Projects, Actions, and Advanced Security

Autori: Michael Kaufmann

Typ zdroja: eBook.

Predmet: Computer software--Development

Kategórie: COMPUTERS / Software Development & Engineering / Tools, COMPUTERS / Business & Productivity Software / Business Intelligence, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing

The Armenian Genocide : A Complete History

Autori: Raymond Kévorkian

Typ zdroja: eBook.

Predmet: Armenians--Turkey--History, Armenians--Crimes against--Turkey--History--20th century, Armenian Genocide, 1915-1923, Genocide--Turkey

Kategórie: HISTORY / Europe / Eastern, HISTORY / Modern / 20th Century / General

Personennamen des Mittelalters : Namensformen für 13.000 Personen gemäß den Regeln für die Alphabetische Katalogisierung (RAK)

Autori: Bayerische Staatsbibliothek Claudia Fabian

Typ zdroja: eBook.

Predmet: Names, Personal--Europe--History--To 1500, Names, Personal (Cataloging)--Germany, Name authority records (Information retrieval)--Germany, Names, Personal--Latin

Kategórie: HISTORY / General, HISTORY / Europe / Medieval, LITERARY CRITICISM / General, SCIENCE / General