Formal Methods in Computer Science

Name: Formal Methods in Computer Science
Brand: Taylor & Francis Inc
SKU: 21332610
Price: 110.39 EUR
Availability: InStock
Author: Wang
ISBN: 9781498775328

Wang

Jiacun (Monmouth University

William (Monmouth University

West Long Branch

New Jersey

USA)

Lingua

Inglese

Libro In brossura

Codice Libristo: 21332610

Casa editrice Taylor & Francis Inc, luglio 2019

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and...

Codice Libristo: 21332610

270 b

110.39 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Prinsessan av Bandalore Frans Oskar W?gman

Rigido

17.39 €

Puzzle SuperColor 180 Dragon Ball

Puzzle

8.09 €

Storia Della Monarchia Piemontese V6 (1869) Ercole Ricotti

In brossura

29.09 €

Südtirol - Traumhafte Berge und Seen im Norden Italiens (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo

Calendario

26.29 €

Westland Sea Lynx Ulf Kaack

Rigido

29.09 €

Odontologie médico-légale - Son rôle dans l'odontologie conservatrice et l'endodontie Pardeep Mahajan

In brossura

38.89 €

Winnenden und wir alle Peter Behncke

In brossura

7.19 €

Geschichte der deutschen Literatur Band III/1 Viktor Zmegac

In brossura

46.69 €

Eres bonita Anys Felici

In brossura

6.79 €

Queen Of Hearts King Company

CD audio

16.79 €

Also sprach Zarathustra Friedrich Nietzsche

Rigido

5.99 €

Vzpomínka na Zemi Liou Cch´-Sin

In brossura

12.69 €

Ratio versus Profit Walter Ponner

In brossura

6.39 €

Les faux-monnayeurs Andre Gide

In brossura

10.49 €

Administración de unidades informáticas : concepto e historia Carmen Díez Carrera

In brossura

18.19 €

Aire Sylvia Coll Masfarré

In brossura

14.69 €

Akten des XII. Internationalen Germanistenkongresses Warschau 2010- Vielheit und Einheit der Germanistik weltweit; Politische Romantik im 19. und 20. Franciszek Grucza

Rigido

68.59 €

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fund

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Methods in Computer Science

Autore Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA), Tepfenhart, William (Monmouth University, West Long Branch, New Jersey, USA)

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2019

Numero di pagine 294

EAN 9781498775328

ISBN 1498775322

Codice Libristo 21332610

Casa editrice Taylor & Francis Inc

Peso 470

Dimensioni 231 x 156 x 24

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Teoria degli insiemi

Informatica e Tecnologia dell’Informazione > Informatica: argomenti di interesse generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

The Soldier of Indiana in the War for the Union. Volume 2 of 2 Catherine Merrill

In brossura

30.69 €

Complete & Independent Guide to the Eurovision Song Contest 2016 Simon Barclay

In brossura

23.39 €

Barron's AP Spanish Language and Culture with MP3 CD & CD-ROM Daniel Paolicchi M. a.

In brossura

22.99 €

Sinclair Lewis and American Democracy Steven Michels

Rigido

116.29 €

Farm Animals Pack A of 5 CLAY KATHRYN

In brossura

39.09 €

Civil Disobedience Henry David Thoreau

Rigido

13.79 €

Branded As Trouble Lorelei James

In brossura

13.19 €

Melancholy DEMARCUS WELLS

In brossura

13.09 €

Anti Anxiety Relief: Easy Ways To Leverage Stress Aka Linseed Wright

In brossura

9.09 €

Dear God ...: Letters from the Nursing Home Mary-Ellen Low

In brossura

7.39 €

Persistent Organic Pollutants and Toxic Metals in Foods Martin Rose

Rigido

180.49 €

Trust in Military Leadership: How Trust in Army Leadership impacts mid career officers intent to leave the military service or to remain. J Andrew Forsyth Ph D

In brossura

13.19 €

Ketchup with the Jessup's: : A Sister's Love Carissa Bryant

In brossura

15.39 €

History of the Castle, Town, and Forest of Knaresborough, With Harrogate, and its Medicinal Waters. ... The Fourth Edition. By E. Hargrove ELY HARGROVE

Rigido

29.09 €

Eleven Poems about Football Various Authors

In brossura

6.49 €

Menander I Soter 163-130 Bce.: The Bactrian Greek King - Emperor of India Tony Malliaras

In brossura

29.49 €

Theory of Games and Statistical Decisions David Harold 1919- Blackwell

In brossura

21.09 €

Learn Japanese for Lower Beginner level 3 Mohd Mursalin Sa'ad

In brossura

23.99 €

Lord Lynn's Wife. [A Novel. by J. B. Harwood.] Anonymous

In brossura

17.89 €

Catalogue of Turkish Manuscripts in the Bodleian Library Gunay Kut

Rigido

118.69 €

B Sea Jack Lagan

In brossura

21.19 €

Teacher Evaluation in Second Language Education Amanda Howard

Rigido

173.39 €

Funerals, Festivals and Cultural Politics in Porfirian Mexico Matthew D Esposito

In brossura

31.09 €

Greetings from Cleveland, Ohio Robert M. Reed

Rigido

18.79 €

Ricercati di frequente

Categories

Authors

Publishers

Ricercati di frequente

Prodotti

Categories

Authors

Publishers

Consegna

Guida all'acquisto

Formal Methods in Computer Science

I clienti hanno acquistato anche

Informazioni sul libro

Categorie

Regala questo libro oggi stesso

È facile

Potrebbe interessarti anche

Ricercati di frequente

Categories

Authors

Publishers

Formal Methods in Computer Science

I clienti hanno acquistato anche

Informazioni sul libro

Categorie

Regala questo libro oggi stesso

È facile

Potrebbe interessarti anche

Non hai un account? Ottieni i vantaggi di un account Libristo!