Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration."

"Artikel ini mempertanyakan sejauh mana masyarakat Belanda Progresif di bidang norma banhasa, kesusahan, dan gender. Dinilai dengan diskusi tentang norma bahasa di kamus Van dale dan resepsi terhadap kamus tersebut di Indonesia serta pandangan terhadap penulis wanita dan statusnya dalam masyarakat Belanda. Artikel ini berkesimpulan bahwa kebudayaan Belanda tidaklah seprogresif yang dibayangkan orang. Dalam hal gender, pandangan terhadap status dan kemampuan perempuan yang agak miring mungkin ini disebabkan oleh perempuan itu sendiri. Dalam hal kesusasteraan, misalnya, perempuan akan diperlakukan sama seperti laki-laki jika mereka menulis dan bertingkah laku berbeda dari yang sekarang"