Language Designed for Program Verification

Language Designed for Program Verification

$44.88

Available Options

machine language programming tutorial
Language Designed for Program Verification

A total of 3 guests made comments

2026-04-13

It’s simple, functional, and practical in daily use.

2026-04-13

The product came exactly as described and was easy to start using.

2026-04-11

Well packed and delivered on time; the product matches the description.

Add a review

Your email address will not be published. Required fields are marked

Your rating

Related Products

Sylvie Cohen
SYLVIE COHEN.com
lundi 25 novembre 2024
La splendeur des égarés
(Editions Les chemins du hasard)

Les matinales, spécial Festival Quartier du Livre avec Charlelie Couture et Sylvie Cohen sur RCJ

La presse

"La Splendeur des égarés est un de ces thrillers mentaux qui habitent longtemps le lecteur". TEMOIGNAGE CHRETIEN.

"Sylvie Cohen explore l’intime avec un texte poignant et magnifiquement écrit." OUEST France.
Photo: Sylvie Cohen, écrivain
 
  
Mammouth Rodéo Trash

Roman - Editions Après la lune

commandez en ligne

Extraits de presse:

Sylvie Cohen signe un livre à l'écriture gangsta rap (...). Aussi sommes-nous happés dans un monde à la Kafka, façon "le Procès", mais aussi orwellien mâtiné de Jean Genet. Les premières pages prennent le lecteur au collet et le laissent KO jusqu'à la fin.

Colette Mainguy, Le Nouvel Observateur (Cliquez pour lire l'article)

Dernier Combat

Roman - Editions Après la lune

"L'homme rampe sur la neige. La torche qu'il porte attachée au front balaye le sol. Un chaucard s'élève dans les airs et lance un cri perçant..."


"Un roman noir puissant", Astrid Eliard, Le Nouvel Observateur (Cliquez pour lire l'article). 		"Dernier Combat"
Prix
( Jean-Toussaint Samat)

Manuel de Subversion Amoureuse

Roman - Editions Après la lune



"Une écriture très directe, âpre et coupante..." , Le Nouvel Observateur

Mon Petit Secret

Roman - Editions Après la lune

"Je vais vous raconter un secret, je me suis fait gronder. Grand papa Jacob m'a puni. Que je vous explique: je m'appelle Schlomo Sigismund Freud. J'habite Vienne depuis peu. Avant je vivais à Frieberg, en Moravie. C'est là que tout a commencé..."


"Un exercice de style ficelé comme un petit bijou d'analogie", Modes et travaux. 		"Mon petit secret"
sur
France Culture (Les cinq psychanalyses de Freud - [2/5] : Le petit Hans)

Sale Type

Roman - Baleine / Le Seuil


 
 
 
 
 
 
Théâtre : Adaptation théâtrale de Sale type
SALE TYPE - Ciné 13 Théâtre | THEATREonline.com
Une femme seule, belle, l’ambition chevillée au corps, rêve de devenir célèbre grâce à sa peinture. Elle espère y arriver en se servant d’un peintre connu, qui la veut. Mais rien ne se passe comme prévu : amour, sexe, violence, ambition, tout s’emmêle, tout s’entrechoque et entraî...
Aperçu par Yahoo
 

"C'est un livre de fièvre, de fureur et de spleen. C'est un livre déchirant, rageur et d'une mortelle douceur. Oui, c'est un livre saisissant à l'écriture magnifique, un ton, un style, sauvage et éperdu." , Le Nouvel Observateur

Reno, Nevada

Roman - Baleine



"Sylvie Cohen orchestre avec maestria ces jeux de la souffrance, de la culpabilité et de la folie où chacun est tour à tour victime et bourreau. Reno, Nevada est un parfait roman noir, aigu et désespéré." , Le Monde