Model Checking Quantum Systems

Name: Model Checking Quantum Systems
Brand: Cambridge University Press
SKU: 33077731
Price: 84.56 EUR
Availability: InStock
Author: Yuan Feng
ISBN: 9781108484305

Yuan Feng

Sprache

Englisch

Buch Hardcover

Libristo-Code: 33077731

Verlag Cambridge University Press, Januar 2021

The first book introducing computer aided verification techniques for quantum systems with quantum c...

Libristo-Code: 33077731

205 b

84.56 €

Externes Lager Wir versenden in 9-15 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Les émotions de Gaston la licorne à l'école - Livre animé Aurélie Chien Chow Chine

Hardcover

20.32 €

MONTY Y LEO EL NUEVO VECINO DE VILABOLSILLO SYLVIE KANTOROVITZ

Buch

16.98 €

Méthode de réglage fin pour l'apprentissage profond Diwakar Padalia

Broschur

39.24 €

Die mangelnde Bedeutung mitgliedschaftlicher Treupflichten im Willensbildungsprozeß der GmbH. Wolfgang Seidel

Broschur

69.28 €

DINO PICNIC : MANGE QUI PEUT ! Spiel/Spielzeug

Spiel

36.20 €

SETKÁNÍ SE SNEM ANEB FINLANDIA Zdeněk Kalista

Buch

8.59 €

Koněv: Sovětský maršál a jeho pražský pomník Petr Blažek

Broschur

10.81 €

Die Smaragdtafeln von Thoth dem Atlanter oreal

Hardcover

15.26 €

David Hume. Eine Untersuchung uber die Prinzipien der Moral Florian Winkler

Broschur

14.46 €

Söz Müzik Ümit Sayin CD Bendeniz

Audio CD

18.70 €

Sanguina ancora Paolo Nori

Broschur

30.84 €

Het recht op een naam

Broschur

37.42 €

La Corte Internacional de Justicia y la descolonización Soroeta Liceras

Broschur

30.24 €

Peterchens Mondfahrt Gerdt von Bassewitz

Broschur

11.72 €

Panegyrique de la Bienheureuse Rose de Sainte Marie de Lima Du Perou Pierre Cureau de La Chambre

Broschur

14.35 €

Livro para Colorir de Galos Nick Snels

Broschur

10.81 €

Die dunkle Loge: Gläserne Mauern Mina Miller

Buch

12.63 €

Sme nielen za priateľské ovzdušie Milan Kupecký

Hardcover

7.68 €

Polipectomia histeroscopica ambulatoria con energia mecanica Rovira Jennifer

Broschur

80.01 €

Cuba

Broschur

27.91 €

Etudes Legislatives Et Judiciaires Sur l'Algerie. Senat & Droit de Discussion Religieuse Tome 31 Fregier-C

Broschur

15.26 €

The first book introducing computer aided verification techniques for quantum systems with quantum computing and communication hardware.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Model Checking Quantum Systems

Autor Yuan Feng

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2021

Anzahl der Seiten 220

EAN 9781108484305

ISBN 1108484301

Libristo-Code 33077731

Verlag Cambridge University Press

Gewicht 520

Abmessungen 250 x 442 x 20

Kategorie

Nachschlagewerke, Informationswissenschaften und Interdisziplinäre Themen > Forschung und Information, allgemein > Informationstheorie

Mathematik und Naturwissenschaften > Physik > Quantenphysik (Quantenmechanik und Quantenfeldtheorie)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Hydrology and Water Management in the Humid Tropics Michael Bonell

Hardcover

171.75 €

Slaves, Masters and Traders H. Ann Ackroyd

Broschur

26.39 €

God in the Here and Now Elizabeth Dallas McLean

Broschur

20.83 €

Sketch of the Mountains and River Basins of India; In Two Maps, with Explanatory Memoirs TRELAWNY SAUNDERS

Broschur

12.43 €

Warhammer, the Forgotten Weapon: Its History through Examples James Roth

Broschur

13.65 €

Sanctuary Jane Yolen

Hardcover

31.85 €

Love Knows No Boundaries! Roger Henri Trepanier

Broschur

8.99 €

Italian Love Story James Ernest Shaw

Broschur

26.19 €

Chinese Writing Practice Notebook: Practice Writing Chinese Characters! Tian Zi Ge Paper Workbook │Learn How to Write Chinese Calligraphy Pinyin Makmak Notebooks

Broschur

9.09 €