Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Sprawdź status swojego zamówienia

Skontaktuj się z nami

Computer-aided Verification

Name: Computer-aided Verification
Brand: American Mathematical Society
SKU: 9780821865941
Price: 705.66 PLN
Availability: InStock

Autor: American Mathem American Mathem

Język:

Oprawa: Twarda

Wydawca: American Mathematical Society

Dostępność: 50 % szansa

Przeszukamy cały świat

705.66 zł

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru...

Informacje o książce

Autor

American Mathem American Mathem

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

1991

EAN

9780821865941

ISBN

9780821865941

Enbook ID

06319043

Wydawca

American Mathematical Society

Waga

666

Pełny opis

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Computer-aided Verification

Informacje o książce

Pełny opis

Możesz być zainteresowany

Integrative Cardiovascular Chinese Medicine

Crystal Path

Moo-Cow Kung-Fu-Cow

Your Star Child: Attracting, Birthing and Parenting an Evolved Soul

Getting Started with Grails

Wild Oats Or The Strolling Gentlemen

Patterns of a Network Economy

Sculptured Thin Films

Responsible Management of Information Systems

Invention of the Moving Assembly Line

Evaluation Findings for Taylor Devices Fluid Viscous Damper

Computer-aided Method Engineering

First World, Third World

Assessment of Naval Hydromechanics, Science and Technology

150 Idees Recues Sur L'Histoir FL

Klienci, którzy kupili tę książkę, kupili również

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas

Zeis

Nuvole Bianche

Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes...