Formal Specification – all CDs, LPs und Bücher

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science - volume 15221

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

deliverable within 2-3 weeks

Buch

Coldplay

Moon Music (Limited Numbered Indie Exclusive Edition) (Red Eco Vinyl)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Item in stock

LP

Coldplay

Moon Music (Limited Numbered Edition) (Pink Eco Vinyl)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Item in stock

LP

Coldplay

Moon Music

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

deliverable within 2-3 weeks

CD

Coldplay

Moon Music (2nd Edition) (Clear Vinyl)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Item in stock

LP

Coldplay

Moon Music (Digisleeve)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Item in stock

CD

Coldplay

Moon Music (2nd Eco Edition)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

deliverable within one week

CD

Coldplay

Moon Music (Limited Notebook Edition)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

Item in stock

CD

Boy George

Sold (UHQ-CD/MQA-CD) (Papersleeve)

Dieses Solo-Debütalbum wurde von Malcolm Garrett, einem der berühmtesten Designer der 80er Jahre, gezeichnet. Stewart Levin, der als Produzent von Simply Red bekannt ist, wurde angeheuert. Das Album kehrt…

CD

Coldplay

Moon Music (Limited Numbered Edition) (Yellow Eco Vinyl) (in Deutschland/Österreich/Schweiz exklusiv für jpc!)

Im Oktober 2024 erscheint das neue Coldplay Album »Moon Music«. »Moon Music« ist das erste Album von Coldplay seit »Music Of The Spheres« (2021), das unter anderem Platz 1 im UK, Platz 2 in Deutschland un…

LP

Concurrency, Specification and Programming

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their imp…

deliverable within 2-3 weeks

Buch

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sh…

deliverable within 2-3 weeks

Buch

Search Results "Formal Specification" - all CDs, LPs und Bücher