Peter schrammel (31 risultati)

Software Verification : 12th International Conference, Vstte 2020, and 13th International Workshop, Nsv 2020, Los Angeles, Ca, USA, July 20?21, 2020, Revised Selected Papers
Christakis, Maria (EDT); Polikarpova, Nadia (EDT); Duggirala, Parasara Sridhar (EDT); Schrammel, Peter (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,31
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 61,29
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

Software Verification : 12th International Conference, Vstte 2020, and 13th International Workshop, Nsv 2020, Los Angeles, Ca, USA, July 20?21, 2020, Revised Selected Papers
Christakis, Maria (EDT); Polikarpova, Nadia (EDT); Duggirala, Parasara Sridhar (EDT); Schrammel, Peter (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,68
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.

- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,56
EUR 14,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.

Software Verification : 12th International Conference, Vstte 2020, and 13th International Workshop, Nsv 2020, Los Angeles, Ca, USA, July 20?21, 2020, Revised Selected Papers
Christakis, Maria (EDT); Polikarpova, Nadia (EDT); Duggirala, Parasara Sridhar (EDT); Schrammel, Peter (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,97
EUR 17,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 43,27
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.

- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,55
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New.

- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 79,32
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.

Software Verification : 12th International Conference, Vstte 2020, and 13th International Workshop, Nsv 2020, Los Angeles, Ca, USA, July 20?21, 2020, Revised Selected Papers
Christakis, Maria (EDT); Polikarpova, Nadia (EDT); Duggirala, Parasara Sridhar (EDT); Schrammel, Peter (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 67,76
EUR 17,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.

- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,17
EUR 11,77 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 239 pages. 9.25x6.10x0.55 inches. In Stock.

- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 86,26
EUR 9,19 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.

- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,85
EUR 14,10 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.

- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 34,73
EUR 18,22 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.

- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,06 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due… to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,40
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Software Verification | 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers | Maria Christakis (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvi | Englisch | 2020 | Springer | EAN 9783030…636173 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

- Brossura
Da: ralfs-buecherkiste, Herzfelde, MOL, Germaniaralfs-buecherkiste
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 65,00
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Paperback/ broschiert. Condizione: Gut. 2. Aufl. 279 S. Betriebswirtschaftslehre Wirtschaft Wirtschaftswissenschaften betriebliches Informationswesen Guter Zustand Bibl-Ex. Einband alterungsbedingt vergilbt. Vorderes Gelenk leicht schadhaft. ha1064052 Sprache: Deutsch Gewicht in Gramm: 510.

- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 107,57
EUR 67,78 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Sehr gut. Gebraucht - Sehr gut SG - leichte Beschädigungen oder Verschmutzungen, ungelesenes Mängelexemplar, gestempelt, Versand Büchersendung - PREISHERABSETZUNG 40% Ladenpreis ab 22.05.2014: EURO 114,00 Ladenpreis bis 21.05.2014: EURO 190,00 Der Taschenkommentar zum ABGB und den wichtigsten Nebengesetz…en (EheG, EPG, EKHG, neu KSchG) setzt in zweiter Auflage die bewährte praxisorientierte Schnellinformation fort, die die maßgeblichen Einzelheiten unter dem Gesichtspunkt Information vor Dokumentation vermittelt. Dieser Kommentar unterscheidet sich von anderen durch die schnelle Verfügbarkeit und Aktualität der gewünschten Rechtsauskunft. Neben den Großkommentaren, die für die dogmatische Vertiefung unverzichtbar bleiben, benötigt der Gesetzesanwender ein flexibleres Instrument, das ihn zeitsparend über die ständigen Gesetzesänderungen sowie die neueste Lehre und Rechtsprechung auf dem Laufenden hält. Im Vordergrund steht eine möglichst kurze und umfassende Information über die Rechtslage durch verlässliche Wiedergabe des Meinungsstandes in Literatur und Judikatur, und zwar in besonders übersichtlicher Form. Onlineaktualisierung 2.01: Mit der Onlineaktualisierung 2.01 zum Stand Februar 2013 wird der Online-Teil des als BuchPlus erschienenen ABGB-Taschenkommentars auf den Stand des Kindschafts- und Namensrechts-Änderungsgesetzes 2013 (KindNamRÄG 2013) gebracht. Diese Obsorgereform, die zum 1.2.2013 in Kraft trat, bedeutet eine Totalreform des österreichischen Kindschaftsrechts, die auch eine Umnummerierung und neue Systematik aller inhaltlich unveränderten Bestimmungen mit sich brachte. Die inhaltlichen Änderungen betreffen die Bereiche Gleichbehandlung unehelicher Kinder, Namensrecht, Umschreibung des Kindeswohls, gemeinsame Obsorge, Kontaktrecht, verbesserte Entscheidungen des Familiengerichts, Familiengerichtshilfe, Verbesserung der Anlegung von 'Mündelgeld', Sicherung der Wirksamkeit von Vaterschaftsanerkenntnissen sowie einheitliche Altersgrenzen für Adoptionen. Onlineaktualisierung 2.02: Mit der Onlineaktualisierung 2.02 zum Stand März 2013 wird der Online-Teil des als BuchPlus erschienenen ABGB-Taschenkommentars im Allgemeinen Schuldrecht auf den Stand des Zahlungsverzugsgesetzes (ZVG) gebracht. Mit diesem Gesetz, das am 16. 3. 2013 in Kraft getreten ist, wurden Ort, Art und Zeit der Erfüllung von Geldschulden in 907a ABGB in tief greifender Weise neu geregelt. Die Geldschuld wurde in eine Bringschuld umgewandelt, die grundsätzlich nach Wahl des Schuldners durch Übergabe von Bargeld oder durch Überweisung auf ein Konto des Gläubigers erfüllt werden kann. Onlineaktualisierung 2.03: Mit der Onlineaktualisierung 2.03 zum Stand August 2013 werden im Online-Teil des als BuchPlus erschienenen ABGB-Taschenkommentars alle Bestimmungen des ABGB auf den Stand des Zahlungsverzugsgesetzes (ZVG) und im EPG auf den des Adoptionsrechts-Änderungsgesetzes 2013 (AdRÄG 2013) gebracht. Mit dem ZVG, das am 16. 3. 2013 in Kraft getreten ist, wurden Ort, Art und Zeit der Erfüllung von Geldschulden in 907a ABGB in tief greifender Weise neu geregelt. Die Geldschuld wurde in eine Bringschuld umgewandelt, die grundsätzlich nach Wahl des Schuldners durch Übergabe von Bargeld oder durch Überweisung auf ein Konto des Gläubigers erfüllt werden kann. Das AdRÄG 2013 brachte die Stiefkindadoption für gleichgeschlechtliche Lebensgefährten und eingetragene Partner. Onlineaktualisierung 2.04: Erste Kommentierung zum VRUG!: Die Onlineaktualisierung 2.04 zum Stand Juni 2014 berücksichtigt im Online-Teil des als BuchPlus erschienenen ABGB-Taschenkommentars bereits die durch das Verbraucherrechte-Richtlinie-Umsetzungsgesetz (VRUG, BGBl 2014/33) im KSchG hervorgerufenen Änderungen, die für ab dem 13.6.2014 geschlossene Verträge gelten, pünktlich zum In-Kraft-Treten! BuchPlus: Diese 2. Auflage des ABGB Taschenkommentars wird als BuchPlus herausgegeben. Dies bedeutet, dass Sie zusätzlich zum gedruckten Werk Zugang zur BuchPlus-Online-Version erhalten, in welcher die Inhalte.

- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,22
EUR 5,50 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.

- Brossura
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,26
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.

- Brossura
- Print on Demand
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 42,01
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, i…n July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020). 268 pp. Englisch.

- Brossura
- Print on Demand
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 39,10
EUR 5,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 78,82
EUR 7,65 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand.

- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 21,90
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ein gottesmordender Übermensch gejagt von einer zur Erbarmungslosigkeit herangezüchteten Agentin Verfolgt wegen des Mordes an einem falschen Gott hetzt Darius, seiner verlorenen Erinnerung nachspürend, durch die Galaxie. An seine F…ersen heftet sich Senta. Die furchtlose Agentin muss den Ketzer zum Wohle ihrer Heimat zur Strecke bringen. Die abenteuerliche Verfolgungsjagd lässt Jägerin und Gejagten die Höllen von Unterdrückung, Krieg und Terror durchkämpfen. Im Graubereich moralischer Ambiguität kämpfen beide Helden dafür, ein kleines Stückchen friedlicher Existenz für sich zu finden. 492 pp. Deutsch.

- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 79,88
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND.

Software Verification
Christakis, Maria|Polikarpova, Nadia|Duggirala, Parasara Sridhar|Schrammel, Peter
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Ange…les, CA, USA, in July 2020.

- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -SARL: OO Framework Specification for Static Analysis.- QPR Verify: A Static Analysis Tool for Embedded Software based on Bounded Model Checking.- Verified Translation Between Purely Functional and Imperative Domain Specific Languages i…n HELIX.- Automatic Detection and Repair of Transition-Based Leakage in Software Binaries.- BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.- Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison.- Verfied Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.- MCBAT: Model Counting for Constraints over Bounded Integer Arrays.- Optimized NTT Algorithm.- Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results .- An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.- Rigorous Enclosure of Round-O Errors in Floating-Point Computations : Towards Numerical Assistants: Trust, Measurement, Community, and Generality for the Numerical Workbench.- Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.- SARL: OO Framework Speci cation for Static Analysis.- QPR Verify: A Static Analysis Tool for Embedded Software based on Bounded Model Checking.- Veri ed Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.- Automatic Detection and Repair of Transition-Based Leakage in Software Binaries.- BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.- Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison.- Veri ed Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.- MCBAT: Model Counting for Constraints over Bounded Integer Arrays.- Verification of an Optimized NTT Algorithm.- Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results .- An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.- Rigorous Enclosure of Round-O Errors in Floating-Point Computations.- Towards Numerical Assistants: Trust, Measurement, Community, and Generality for the Numerical Workbench.- Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 268 pp. Englisch.

- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 21,90
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Ein gottesmordender Uebermensch gejagt von einer zur Erbarmungslosigkeit herangezuechteten Agentin Verfolgt wegen des Mordes an einem falschen Gott hetzt Darius, seiner verlorenen Erinnerung nachspuerend, durch die G…alaxie. An seine Fersen heftet sich Senta. D.

Lingua: Tedesco
Editore: Bod - Books On Demand, Bod - Books On Demand Dez 2022, 2022
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 21,90
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Ein gottesmordender Übermensch gejagt von einer zur Erbarmungslosigkeit herangezüchteten AgentinVerfolgt wegen des Mordes an einem falschen Gott hetzt Darius, seiner verlorenen Erinnerung nachspürend, durch die Galaxie. An seine Fersen… heftet sich Senta. Die furchtlose Agentin muss den Ketzer zum Wohle ihrer Heimat zur Strecke bringen. Die abenteuerliche Verfolgungsjagd lässt Jägerin und Gejagten die Höllen von Unterdrückung, Krieg und Terror durchkämpfen. Im Graubereich moralischer Ambiguität kämpfen beide Helden dafür, ein kleines Stückchen friedlicher Existenz für sich zu finden.Libri GmbH, Europaallee 1, 36244 Bad Hersfeld 492 pp. Deutsch.

Lingua: Tedesco
Editore: Bod - Books On Demand, Bod - Books On Demand, 2022
- Brossura
- Print on Demand
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 21,90
EUR 63,31 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Ein gottesmordender Übermensch gejagt von einer zur Erbarmungslosigkeit herangezüchteten Agentin Verfolgt wegen des Mordes an einem falschen Gott hetzt Darius, seiner verlorenen Erinnerung nachspürend, durch die Galaxie. An seine Fersen… heftet sich Senta. Die furchtlose Agentin muss den Ketzer zum Wohle ihrer Heimat zur Strecke bringen. Die abenteuerliche Verfolgungsjagd lässt Jägerin und Gejagten die Höllen von Unterdrückung, Krieg und Terror durchkämpfen. Im Graubereich moralischer Ambiguität kämpfen beide Helden dafür, ein kleines Stückchen friedlicher Existenz für sich zu finden.