Ta strona wykorzystuje pliki cookies. Korzystając ze strony, zgadzasz się na ich użycie. OK Polityka Prywatności Zaakceptuj i zamknij X

PRINCIPLES OF MODEL CHECKING Baier, Katoen

23-06-2014, 18:10
Aukcja w czasie sprawdzania była zakończona.
Cena kup teraz: 313.95 zł     
Użytkownik bookstreet
numer aukcji: 4271810258
Miejscowość Kalisz
Wyświetleń: 4   
Koniec: 23-06-2014 17:50:38
Dodatkowe informacje:
Stan: Nowy
Okładka: twarda
Kondycja: bez śladów używania
info Niektóre dane mogą być zasłonięte. Żeby je odsłonić przepisz token po prawej stronie. captcha

978<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>13050, 978<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>42440, 978<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>20264, 978<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>89357, 978<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>65260, 978-<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>13050, 978-<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>42440, 978-<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>20264, 978-<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>89357, 978-<span class=hidden_cl>[zasłonięte]</span><span class=hidden_cl>[zasłonięte]</span>65260

 
 
 
 
TEL: 607-[zasłonięte]-671
GG: [zasłonięte]16851
EMAIL: [zasłonięte]@bookstreet.pl

 

Kupując kilka książek za wysyłkę płacisz tylko raz! 

Do realizacji zamówienia przystępujemy po otrzymaniu zapłaty za towar lub wybraniu opcji przesyłki za pobraniem. Książki wysyłamy w ciągu 5-7 dni roboczych, nie ma możliwości szybszej realizacji.
Wystawiamy faktury VAT.

 

Paczkomaty InPost

 
 

Principles of Model Checking

PRINCIPLES OF MODEL CHECKING Baier, Katoen

 

 

PRODUCT DETAILS:
Author: Christel Baier, Joost-Pieter Katoen
Language: English
Publisher: MIT Press
Publication Date: 3 Jun 2008
Dimensions: 20.3 x 3.3 x 25.4 cm
Format: Hardcover
Pages: 936
Condition: NEW
Product_ID: AB6BAB649X

 

 

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

  

 

 

Książki wysyłamy w ciągu 5-7 dni roboczych.

 

  

FLEXIBLE, RELIABLE SOFTWARE Henrik Christensen
CATEGORY THEORY Steve Awodey
DATABASE SYSTEMS: THE COMPLETE BOOK Garcia-Molina
CONCURRENCY: STATE MODELS AND JAVA PROGRAMS Magee
LOGIC IN COMPUTER SCIENCE Michael Huth, Mark Ryan
MACHINE LEARNING: A PROBABILISTIC PERSPECTIVE