Explore: Programme Parallèle
Discover books, insights, and more — all in one place.
Learn more about Programme Parallèle with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “programme-parall%c3%a8le”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Verifying concurrent processes using temporal logic
By Brent T. Hailpern
“Verifying concurrent processes using temporal logic” Metadata:
- Title: ➤ Verifying concurrent processes using temporal logic
- Author: Brent T. Hailpern
- Language: English
- Number of Pages: Median: 208
- Publisher: Springer-Verlag
- Publish Date: 1982
- Publish Location: New York - Berlin
“Verifying concurrent processes using temporal logic” Subjects and Themes:
- Subjects: ➤ Computer programs - Parallel processing (Electronic computers) - Verification - Programmation structurée - Allocation ressource - Vérification - Programme parallèle - Programmierung - Heuristique - Programmverifikation - Logiciel - vérification - Vérification logiciel - Multitraitement - Protocole réseau - Logiciels - Logique temporelle - Parallelverarbeitung - Verifikation - Parallélisme (Informatique)
Edition Identifiers:
- The Open Library ID: OL3481503M
- Online Computer Library Center (OCLC) ID: 8219232
- Library of Congress Control Number (LCCN): 82000856
- All ISBNs: 9780387112053 - 0387112057
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verifying concurrent processes using temporal logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
List of SiriusXM Radio channels
2013) Radio Parallèle – A French-Canadian station started as Franc Parler (17 November 2005 – 16 April 2006), a mens-lifestyle programme, then as SportPlus
Sahra Wagenknecht Alliance
chances of success]. Die Welt (in German). "Auch hier zeigt sich eine Parallele zu Wagenknecht, die ihre Partei explizit sozialkonservativ ausrichtet
Excentris
closed its doors in November 2015, citing financial difficulties. Cinéma Parallèle, the non-profit organization that ran the center, entered bankruptcy protection
Heart of Darkness (opera)
the opera received its North American premiere in a production by Opera Parallèle, presented by Z Space in San Francisco, California. The initial idea of
Amina Edris
Tina in the rarely performed opera Flight by Jonathan Dove with Opera Parallèle. In 2018, she made her debut with New Zealand Opera as Adina in L'elisir
Noroît (film)
as the third episode of the intended four-film series Scènes de la vie parallèle (the first being a supernatural love story and the fourth a musical).
Megafire
brûle: Penser la nouvelle catastrophe écologique (in French). Premier Parallèle. ISBN 9782850610059. "Les mégafeux vont devenir de plus en plus courants"
M23 campaign (2022–present)
Retrieved 30 March 2025. "Nord-Kivu: le M23 installe une administration parallèle à Jomba" [North Kivu: M23 installs parallel administration in Jomba].
Sonic Underground
distributor Buena Vista International Television and had also aired other programmes produced by DIC Entertainment at the time. ITV aired the first 18 episodes
Abidjan
Retrieved 28 March 2011. Loubière, Paul (2 October 2001). "L'économie parallèle, béquille d'Abidjan" (in French). Archived from the original on 27 September